diff options
| author | bringert <unknown> | 2004-06-22 09:44:46 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-22 09:44:46 +0000 |
| commit | 5629e77ba5e0a71385b9053e74e4986d41593a11 (patch) | |
| tree | d0adb20b127d6d27d04e89e031fb8924fb6a6602 /src | |
| parent | b41a8937db544f0781cb95e1d80546d46f191a4a (diff) | |
Moved distclean target to after clean
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) |