r3899: Automatic commit for debian_version_4_1_0-1

[ctsim.git] / configure

diff --git a/configure b/configure
index 98fb09e2f70af57f7f97be88508a84c9972b81e0..c6f9c909f851631e6a8473711cdaa1187087cb01 100755 (executable)
--- a/configure
+++ b/configure
@@ -7908,16 +7908,13 @@ if test "${with_mcpu+set}" = set; then
 
 fi;
 
-if test "$withval" == "pentium4" -o "$withval" == "athlon"  ; then
-  echo "$as_me:$LINENO: result: $withval" >&5
-echo "${ECHO_T}$withval" >&6
-  CFLAGS="$CFLAGS -mcpu=$withval"
-elif test "$withval" == "no"; then
+if  "$withval" == ""  ||  "$withval" == "no" ; then
   echo "$as_me:$LINENO: result: no" >&5
 echo "${ECHO_T}no" >&6
 else
-  echo "$as_me:$LINENO: result: Unknown" >&5
-echo "${ECHO_T}Unknown" >&6
+  echo "$as_me:$LINENO: result: $withval" >&5
+echo "${ECHO_T}$withval" >&6
+  CFLAGS="$CFLAGS -mcpu=$withval"
 fi
 
 echo "$as_me:$LINENO: checking for web access" >&5