diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 22 |
1 files changed, 16 insertions, 6 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Revision: 13000 . +# From configure.in Revision: 13024 . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.61. # @@ -1260,6 +1260,7 @@ Optional Features: instead of TXT files in the sql map-server. (disabled by default) --enable-debug Compiles extra debug code. (disabled by default) + (available options: yes, no, gdb) Optional Packages: --with-PACKAGE[=ARG] use PACKAGE [ARG=yes] @@ -1793,8 +1794,9 @@ if test "${enable_debug+set}" = set; then enableval=$enable_debug; enable_debug="$enableval" case $enableval in - no);; - yes);; + "no");; + "yes");; + "gdb");; *) { { echo "$as_me:$LINENO: error: invalid argument --enable-debug=$enableval... stopping" >&5 echo "$as_me: error: invalid argument --enable-debug=$enableval... stopping" >&2;} { (exit 1); exit 1; }; };; @@ -4525,9 +4527,17 @@ fi # # Debug # -if test "$enable_debug" = "yes" ; then - CFLAGS="$CFLAGS -g -DDEBUG" -fi +case $enable_debug in + "no") + # default value + ;; + "yes") + CFLAGS="$CFLAGS -g -DDEBUG" + ;; + "gdb") + CFLAGS="$CFLAGS -ggdb -DDEBUG" + ;; +esac # |