diff options
author | fluxgen <fluxgen> | 2002-01-05 17:09:35 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2002-01-05 17:09:35 (GMT) |
commit | d5eac398fc1930852e8e55c8d47a9d12e08e930b (patch) | |
tree | 6e2b67323bbc618c1efbd0f1612a893b037fbe1b /configure | |
parent | c23161a442816d394af8e1c8a68c3e86049f766e (diff) | |
download | fluxbox-d5eac398fc1930852e8e55c8d47a9d12e08e930b.zip fluxbox-d5eac398fc1930852e8e55c8d47a9d12e08e930b.tar.bz2 |
update
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.5 | 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; } |