X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=configure;h=3f8f09ffc6b6a9708ab91ba2e1ee1b9971a1fc46;hb=6cb4defa9075e5f1b3b672bb878e2dc34b5a3085;hp=42c358d8afab326451efdbf906d7bf1ccc8ead85;hpb=aa52c6f383cc8b7b8f9723e409e138df72e06f2d;p=ctsim.git

diff --git a/configure b/configure
index 42c358d..3f8f09f 100755
--- a/configure
+++ b/configure
@@ -1492,7 +1492,7 @@ fi
 
 PACKAGE=ctsim
 
-VERSION=4.0.2
+VERSION=4.2.3
 
 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
@@ -7734,7 +7734,7 @@ cat >>confdefs.h <<\_ACEOF
 _ACEOF
 
 else
-  CFLAGS="$CFLAGS -O3 -DNDEBUG -fomit-frame-pointer -funroll-loops"
+  CFLAGS="$CFLAGS -O2 -DNDEBUG -fomit-frame-pointer"
 
 cat >>confdefs.h <<\_ACEOF
 #define NDEBUG 1
@@ -7908,7 +7908,7 @@ if test "${with_mcpu+set}" = set; then
 
 fi;
 
-if test "$withval" == "no" -o "$withval" == "yes" ; then
+if test "$withval" == "no" -o "$withval" == "yes" -o "$withval" == ""; then
   echo "$as_me:$LINENO: result: no" >&5
 echo "${ECHO_T}no" >&6
 else