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