1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index a0dc190e..f4d67cb2 100644
--- a/makefile
+++ b/makefile
@@ -1,7 +1,7 @@
-# $Id: makefile,v 1.2 1993/12/22 20:55:06 roberto Exp roberto $
+# $Id: makefile,v 1.3 1993/12/22 21:21:06 roberto Exp roberto $
 # Compilation parameters
 CC = gcc
-CFLAGS = -I/usr/5include -Wall -DMAXCODE=4096 -DMAXCONSTANT=1024 -DMAXSYMBOL=1024 
+CFLAGS = -I/usr/5include -Wall -O2 -DMAXCODE=4096 -DMAXCONSTANT=1024 -DMAXSYMBOL=1024 
 AR = ar
 ARFLAGS = rvl

diff --git a/makefile b/makefile index a0dc190e..f4d67cb2 100644 --- a/makefile +++ b/makefile
@@ -1,7 +1,7 @@
1	# $Id: makefile,v 1.2 1993/12/22 20:55:06 roberto Exp roberto $	1	# $Id: makefile,v 1.3 1993/12/22 21:21:06 roberto Exp roberto $
2	# Compilation parameters	2	# Compilation parameters
3	CC = gcc	3	CC = gcc
4	CFLAGS = -I/usr/5include -Wall -DMAXCODE=4096 -DMAXCONSTANT=1024 -DMAXSYMBOL=1024	4	CFLAGS = -I/usr/5include -Wall -O2 -DMAXCODE=4096 -DMAXCONSTANT=1024 -DMAXSYMBOL=1024
5		5
6	AR = ar	6	AR = ar
7	ARFLAGS = rvl	7	ARFLAGS = rvl