diff options
author | Keith Whitwell <keith@tungstengraphics.com> | 2007-08-07 10:18:04 +0100 |
---|---|---|
committer | Keith Whitwell <keith@tungstengraphics.com> | 2007-08-07 10:18:30 +0100 |
commit | 90ee7a41443a971d6ff2e0a6e90997806c28d11b (patch) | |
tree | a3bfd791d28d62e67da293b6ecb28dfee3eacf88 /src/egl/drivers/dri | |
parent | 87a8f5643dc228b0e98e15dd42db20d54bc65a62 (diff) |
Gutsy oopses on touch of existing file. Workaround.
Diffstat (limited to 'src/egl/drivers/dri')
-rw-r--r-- | src/egl/drivers/dri/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/egl/drivers/dri/Makefile b/src/egl/drivers/dri/Makefile index cb11971c64..fa3720a16b 100644 --- a/src/egl/drivers/dri/Makefile +++ b/src/egl/drivers/dri/Makefile @@ -52,6 +52,7 @@ clean: depend: $(SOURCES) $(HEADERS) @ echo "running $(MKDEP)" + @ rm -f depend @ touch depend $(MKDEP) $(MKDEP_OPTIONS) $(DEFINES) $(INCLUDE_DIRS) \ $(SOURCES) $(HEADERS) > /dev/null |