diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -728,7 +728,7 @@ fi | |||
728 | 728 | ||
729 | PACKAGE=fluxbox | 729 | PACKAGE=fluxbox |
730 | 730 | ||
731 | VERSION=0.1.6 | 731 | VERSION=0.1.6-pre |
732 | 732 | ||
733 | if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then | 733 | if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then |
734 | { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } | 734 | { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } |
@@ -3285,7 +3285,7 @@ if test "${enable_debug+set}" = set; then | |||
3285 | enableval="$enable_debug" | 3285 | enableval="$enable_debug" |
3286 | if test x$enableval = "xyes"; then | 3286 | if test x$enableval = "xyes"; then |
3287 | echo "$ac_t""yes" 1>&6 | 3287 | echo "$ac_t""yes" 1>&6 |
3288 | DEBUG="-DDEBUG -fno-inline" | 3288 | DEBUG="-DDEBUG" |
3289 | else | 3289 | else |
3290 | echo "$ac_t""no" 1>&6 | 3290 | echo "$ac_t""no" 1>&6 |
3291 | fi | 3291 | fi |