From 9b0d136d71d9796246bf80b67e9fd46db0aa89ff Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 22 Jun 2004 09:44:46 +0000 Subject: [PATCH] Moved distclean target to after clean --- src/Makefile | 9 +++++---- 1 file 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)