diff options
author | fluxgen <fluxgen> | 2002-01-10 14:21:31 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2002-01-10 14:21:31 (GMT) |
commit | 2ea94bb32245834e3a5b1e836a96109f45210c35 (patch) | |
tree | 2d39d669e8555dd0c06b08f75f68925d6bdc6ac8 /configure | |
parent | 6cb7a141a92f1fbe747c17bfa9a811e358cfefea (diff) | |
download | fluxbox-2ea94bb32245834e3a5b1e836a96109f45210c35.zip fluxbox-2ea94bb32245834e3a5b1e836a96109f45210c35.tar.bz2 |
update
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 |