diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,4 +1,4 @@ | |||
1 | # $Id: makefile,v 1.30 1997/03/31 14:17:09 roberto Exp roberto $ | 1 | # $Id: makefile,v 1.31 1997/03/31 14:23:49 roberto Exp roberto $ |
2 | 2 | ||
3 | #configuration | 3 | #configuration |
4 | 4 | ||
@@ -9,7 +9,8 @@ | |||
9 | CONFIG = -DPOPEN -D_POSIX_SOURCE | 9 | CONFIG = -DPOPEN -D_POSIX_SOURCE |
10 | # Compilation parameters | 10 | # Compilation parameters |
11 | CC = gcc | 11 | CC = gcc |
12 | CFLAGS = $(CONFIG) -Wall -Wmissing-prototypes -Wshadow -ansi -O2 -pedantic | 12 | CWARNS = -Wall -Wmissing-prototypes -Wshadow -pedantic -Wpointer-arith -Wcast-align -Waggregate-return |
13 | CFLAGS = $(CONFIG) $(CWARNS) -ansi -O2 -fomit-frame-pointer | ||
13 | 14 | ||
14 | #CC = acc | 15 | #CC = acc |
15 | #CFLAGS = -fast -I/usr/5include | 16 | #CFLAGS = -fast -I/usr/5include |