X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=26a4a05a6088875a0d74fd1ea1f40ad3102c7ded;hb=40ef0ef58e4d5617d7ddb7b1d145e8981b61215f;hp=df9d60b3dac093affb71a694673376af989ff824;hpb=d8ab8021d9a05fd2840b96eb327f77d11cbc1a10;p=ctsim.git diff --git a/configure b/configure index df9d60b..26a4a05 100755 --- a/configure +++ b/configure @@ -1492,7 +1492,7 @@ fi PACKAGE=ctsim -VERSION=4.0.2 +VERSION=4.2.0 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { { echo "$as_me:$LINENO: error: source directory already configured; run \"make distclean\" there first" >&5