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