X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;ds=sidebyside;f=configure;h=26a4a05a6088875a0d74fd1ea1f40ad3102c7ded;hb=6b2163676582e4d32020dc765b74cff3a1705d3c;hp=df9d60b3dac093affb71a694673376af989ff824;hpb=63ef93d6bfd8039299bbf2733f054b378cfdcaa1;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