make gfcc makes old gfcc; use make newgfcc for the format produced by gfc

2007-10-04 21:46:23 +00:00
parent 41201c2d4e
commit 953ad2cf4c
1 changed files with 5 additions and 1 deletions
--- a/src/Makefile
+++ b/src/Makefile
@@ -199,7 +199,11 @@ gfc:
 	mv gfc ../bin/

 gfcc:
-#	$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/Shell.hs
+	$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/Shell.hs
+	strip gfcc
+	mv gfcc ../bin/
+
+newgfcc:
 	$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Devel/Shell.hs
 	strip gfcc
 	mv gfcc ../bin/