X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=26a4a05a6088875a0d74fd1ea1f40ad3102c7ded;hb=e48b6af3c3a5c3181f3e4123c3c49bb945026b80;hp=c6f9c909f851631e6a8473711cdaa1187087cb01;hpb=2d30b1c2ed74ba38dec4db5fb3f9a26d7fe65e81;p=ctsim.git

diff --git a/configure b/configure
index c6f9c90..26a4a05 100755
--- a/configure
+++ b/configure
@@ -1492,7 +1492,7 @@ fi
 
 PACKAGE=ctsim
 
-VERSION=4.0.2
+VERSION=4.2.0
 
 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
@@ -7908,7 +7908,7 @@ if test "${with_mcpu+set}" = set; then
 
 fi;
 
-if  "$withval" == ""  ||  "$withval" == "no" ; then
+if test "$withval" == "no" -o "$withval" == "yes" -o "$withval" == ""; then
   echo "$as_me:$LINENO: result: no" >&5
 echo "${ECHO_T}no" >&6
 else