From 017154370476129d7420857537603aa1d7a561ca Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Tue, 24 Jul 2001 19:40:08 -0300
Subject: [PATCH] better optimization options

---
 makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/makefile b/makefile
index 382d9599..75696b6c 100644
--- a/makefile
+++ b/makefile
@@ -1,5 +1,5 @@
 #
-## $Id: makefile,v 1.30 2000/11/06 13:45:18 roberto Exp roberto $
+## $Id: makefile,v 1.31 2001/07/24 17:25:30 roberto Exp roberto $
 ## Makefile
 ## See Copyright Notice in lua.h
 #
@@ -39,7 +39,7 @@ CWARNS = -Wall -W -pedantic \
 #	-Wcast-qual
 #	-Wtraditional
 
-CFLAGS = $(CONFIG) $(CWARNS) -ansi -O2
+CFLAGS = $(CONFIG) $(CWARNS) -ansi -O3 -fomit-frame-pointer
 
 
 # To make early versions