X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=de7c485d636e3031ebd7b8eb164848c406b7c25c;hb=0695e3d02bf8911708d191ac8490b7adcd8bb73a;hp=8bf3a1f02b393db8c333c090e82178ce1efa746b;hpb=a6e29202a775a5641c7d299cf10ecfa93519a578;p=ctsim.git diff --git a/configure b/configure index 8bf3a1f..de7c485 100755 --- a/configure +++ b/configure @@ -1415,7 +1415,7 @@ fi PACKAGE=ctsim -VERSION=3.5.4 +VERSION=3.5.6 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