diff options
author | Keith Whitwell <[email protected]> | 2007-08-07 10:18:04 +0100 |
---|---|---|
committer | Keith Whitwell <[email protected]> | 2007-08-07 10:18:30 +0100 |
commit | 90ee7a41443a971d6ff2e0a6e90997806c28d11b (patch) | |
tree | a3bfd791d28d62e67da293b6ecb28dfee3eacf88 /src/glut/glx/Makefile | |
parent | 87a8f5643dc228b0e98e15dd42db20d54bc65a62 (diff) |
Gutsy oopses on touch of existing file. Workaround.
Diffstat (limited to 'src/glut/glx/Makefile')
-rw-r--r-- | src/glut/glx/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/glut/glx/Makefile b/src/glut/glx/Makefile index 7e1d56b3278..910c6fa28a4 100644 --- a/src/glut/glx/Makefile +++ b/src/glut/glx/Makefile @@ -113,6 +113,7 @@ clean: depend: $(SOURCES) @ echo "running $(MKDEP)" + @ rm -f depend @ touch depend @ $(MKDEP) $(MKDEP_OPTIONS) -I$(TOP)/include $(SOURCES) \ > /dev/null |