r3903: Auto commit for Debian build

[ctsim.git] / configure

diff --git a/configure b/configure
index c6f9c909f851631e6a8473711cdaa1187087cb01..4e1d019eb9279a9157e72241b98448300add67af 100755 (executable)
--- a/configure
+++ b/configure
@@ -7908,7 +7908,7 @@ if test "${with_mcpu+set}" = set; then
 
 fi;
 
-if  "$withval" == ""  ||  "$withval" == "no" ; then
+if test "$withval" == "" -o test "$withval" == "no" -o test "$withval" == "yes" ; then
   echo "$as_me:$LINENO: result: no" >&5
 echo "${ECHO_T}no" >&6
 else