diff options
| author | fluxgen <fluxgen> | 2002-01-11 11:59:54 (GMT) |
|---|---|---|
| committer | fluxgen <fluxgen> | 2002-01-11 11:59:54 (GMT) |
| commit | a3d2a1cf0a5ab724e19a91915fe97842f52260d5 (patch) | |
| tree | f0b87676e95070afee163f76902efd0c4d5b5fe6 /configure | |
| parent | b4515716b75f745388eaf52c0d62b70443170db8 (diff) | |
| download | fluxbox_pavel-a3d2a1cf0a5ab724e19a91915fe97842f52260d5.zip fluxbox_pavel-a3d2a1cf0a5ab724e19a91915fe97842f52260d5.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.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; } |