X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=455092f807ab22864f78a246587be51b5fa4d62c;hb=27a474e0622ebb7229fd5705552021f63d8f932d;hp=806487ccee5cd9f031f4fc8224debe24e31eee20;hpb=ab4a3ba2c1ba9672136b5022897f81fc55d03493;p=ctsim.git diff --git a/configure b/configure index 806487c..455092f 100755 --- a/configure +++ b/configure @@ -710,7 +710,7 @@ fi PACKAGE=ctsim -VERSION=2.0.0-b4 +VERSION=2.0.0-b5 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; }