diff options
| author | Wilmer van der Gaast <wilmer@gaast.net> | 2007-10-10 23:45:19 +0100 |
|---|---|---|
| committer | Wilmer van der Gaast <wilmer@gaast.net> | 2007-10-10 23:45:19 +0100 |
| commit | 285b55d3b38d6e1c8b3fc4a64945f2bb9ace07f4 (patch) | |
| tree | 856e072e33a2f0213a061253ac1e6f587d4f2cd7 | |
| parent | 118638279f7a39422d9e07365b380fa773c5243e (diff) | |
configure script now allows one to override CFLAGS. (Bug #171)
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -139,13 +139,14 @@ if [ "$ipv6" = "1" ]; then fi if [ "$debug" = "1" ]; then - echo 'CFLAGS=-g' >> Makefile.settings + [ -z "$CFLAGS" ] && CFLAGS=-g echo 'DEBUG=1' >> Makefile.settings echo '#define DEBUG' >> config.h else - echo 'CFLAGS=-O3' >> Makefile.settings + [ -z "$CFLAGS" ] && CFLAGS=-O3 fi +echo CFLAGS=$CFLAGS >> Makefile.settings echo CFLAGS+=-I`pwd` -I`pwd`/lib -I`pwd`/protocols -I. >> Makefile.settings echo CFLAGS+=-DHAVE_CONFIG_H >> Makefile.settings |