From 953ad2cf4c3cd907a14c0faaf83241639f6049eb Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 4 Oct 2007 21:46:23 +0000
Subject: [PATCH] make gfcc makes old gfcc; use make newgfcc for the format
 produced by gfc

---
 src/Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index f19cad7b0..6cbee366d 100644
--- 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/