diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -728,7 +728,7 @@ fi | |||
728 | 728 | ||
729 | PACKAGE=fluxbox | 729 | PACKAGE=fluxbox |
730 | 730 | ||
731 | VERSION=0.1.6-pre | 731 | VERSION=0.1.6 |
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; } |