diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index 276dd0f66..7286805fb 100644 --- a/src/Makefile +++ b/src/Makefile @@ -67,6 +67,11 @@ shell: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) Shell.hs clean: -rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~ + +distclean: clean + -rm -f for-ghc-nofud/*.hs + -rm -f config.status config.mk config.log + hugs: hugs -h10M -P$(HUGSINCLUDE) ghci-nofud: @@ -84,9 +89,5 @@ tracing: strip gf2 mv gf2 ../bin/ -distclean: clean - -rm -f for-ghc-nofud/*.hs - -rm -f config.status config.mk config.log - install: $(INSTALL) ../bin/gf2 $(bindir) |