From f9cc79eba6f12a5306987478ec99c4d1dae72863 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 7 Oct 2006 14:08:58 +0000
Subject: slight change in gfcc syntax and evaluation

---
 src/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index b8b47b268..7d0a7f42c 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -179,6 +179,7 @@ tools/$(GF_DOC_EXE): tools/GFDoc.hs
 
 gfcc:
 	$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/RunGFCC.hs
+	strip gfcc
 
 #
 # Distribution
-- 
cgit v1.2.3