diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-07-29 20:20:38 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-07-29 20:20:38 -0700 |
| commit | 06bcf19cb8eb3cc3154ba6131477d742a9f0b4b6 (patch) | |
| tree | 2c4cb951f3f6638ec263ababb19e833f20cac404 /Makefile | |
| parent | cd4288f195f11f6c0a78bca03db009a0494da7cc (diff) | |
| download | sparse-dev-06bcf19cb8eb3cc3154ba6131477d742a9f0b4b6.tar.gz | |
Makefile: Use -O2 -finline-functions, not just -O
This makes debugging more difficult by default, but as usual, developers can
change CFLAGS if they want to use a debugger; the default CFLAGS should cater
to users.
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ VERSION=0.3 OS=linux CC=gcc -CFLAGS=-O -g -Wall -Wwrite-strings -fpic +CFLAGS=-O2 -finline-functions -g -Wall -Wwrite-strings -fpic LDFLAGS=-g AR=ar |