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