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_pavel-d5eac398fc1930852e8e55c8d47a9d12e08e930b.zip fluxbox_pavel-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; } |