X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=8b5bdc50b70e681cc47e56d9d189518459a4f022;hb=a4b718a2681d65cb56e62400cec28bc09f9509e1;hp=d3f77d035c302e0eb22f8445b18d439df333b712;hpb=aaee36475bb859d73c110533adb9d6a2cdad9dc2;p=ctsim.git diff --git a/configure b/configure index d3f77d0..8b5bdc5 100755 --- a/configure +++ b/configure @@ -715,7 +715,7 @@ fi PACKAGE=ctsim -VERSION=3.0.1 +VERSION=3.1.0 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; }