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_paul-2ea94bb32245834e3a5b1e836a96109f45210c35.zip fluxbox_paul-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 |