X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=de7c485d636e3031ebd7b8eb164848c406b7c25c;hb=ab78de6e33fff94c37847621458db3ad430a8bb3;hp=11144a47e573f091722c7966d0cd82632f6f67e7;hpb=2cc32f73fdf3fed44ce0272784ed68252f1b717a;p=ctsim.git diff --git a/configure b/configure index 11144a4..de7c485 100755 --- a/configure +++ b/configure @@ -1415,7 +1415,7 @@ fi PACKAGE=ctsim -VERSION=3.5.5 +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