diff options
-rw-r--r-- | makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ | |||
1 | # | 1 | # |
2 | ## $Id: makefile,v 1.30 2000/11/06 13:45:18 roberto Exp roberto $ | 2 | ## $Id: makefile,v 1.31 2001/07/24 17:25:30 roberto Exp roberto $ |
3 | ## Makefile | 3 | ## Makefile |
4 | ## See Copyright Notice in lua.h | 4 | ## See Copyright Notice in lua.h |
5 | # | 5 | # |
@@ -39,7 +39,7 @@ CWARNS = -Wall -W -pedantic \ | |||
39 | # -Wcast-qual | 39 | # -Wcast-qual |
40 | # -Wtraditional | 40 | # -Wtraditional |
41 | 41 | ||
42 | CFLAGS = $(CONFIG) $(CWARNS) -ansi -O2 | 42 | CFLAGS = $(CONFIG) $(CWARNS) -ansi -O3 -fomit-frame-pointer |
43 | 43 | ||
44 | 44 | ||
45 | # To make early versions | 45 | # To make early versions |