X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=8b5bdc50b70e681cc47e56d9d189518459a4f022;hb=cd93aebb4dec4e0ae88d53f131c2320ae92d0cab;hp=70a81ab01964a1caf8c394440c7c930533d3915b;hpb=9c1565fc3c878d175983e34299aa5c4a7f0bb77c;p=ctsim.git diff --git a/configure b/configure index 70a81ab..8b5bdc5 100755 --- a/configure +++ b/configure @@ -715,7 +715,7 @@ fi PACKAGE=ctsim -VERSION=3.0.2 +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; }