From b43e0c8902d2a3750f9bdd302948a743e8144c5e Mon Sep 17 00:00:00 2001 From: marschap Date: Sun, 15 Jan 2006 20:12:27 +0000 Subject: [PATCH] fix previous commit --- configure.in | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/configure.in b/configure.in index 4367ce7..f72706c 100644 --- a/configure.in +++ b/configure.in @@ -46,16 +46,16 @@ AC_ARG_ENABLE(debug, AC_MSG_RESULT($debug) if test $debug = "yes"; then -dnl Enable debugging information with minimal optimisation - if ! echo "$CFLAGS" | grep -q -- "-g" ; then - CFLAGS="$CFLAGS -g" - fi - if ! echo "$CFLAGS" | grep -q -- "-O" ; then +dnl Enable debugging information with minimal optimisation if not set differently +dnl (the spaces before $CFLAGS and -O are significant) + CFLAGS="$CFLAGS -g" + if ! echo " $CFLAGS" | grep -q -- " -O" ; then CFLAGS="$CFLAGS -O" fi else -dnl Maximum optimisation - if ! echo "$CFLAGS" | grep -q -- "-O" ; then +dnl Maximum optimisation if not already set +dnl (the spaces before $CFLAGS and -O are significant) + if ! echo " $CFLAGS" | grep -q -- " -O" ; then CFLAGS="$CFLAGS -O3" fi fi