diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -21993,7 +21993,7 @@ if test "${enable_production+set}" = set; then fi; case "X-$enable_production" in - X-yes) + X-|X-yes) enable_production="yes" echo "$as_me:$LINENO: result: production" >&5 echo "${ECHO_T}production" >&6 @@ -22034,7 +22034,7 @@ echo "${ECHO_T}production" >&6 CXXFLAGS="$CXXFLAGS $PROD_CXXFLAGS" FCFLAGS="$FCFLAGS $PROD_FCFLAGS" ;; - X-|X-no) + X-no) enable_production="no" echo "$as_me:$LINENO: result: development" >&5 echo "${ECHO_T}development" >&6 @@ -47310,7 +47310,7 @@ fi; all_packages="ac,b,d,e,f,g,hg,hl,i,mf,mm,o,p,s,t,v,z" case "X-$DEBUG_PKG" in - X-|X-yes) + X-yes) DEBUG_PKG="d,e,f,g,hg,i,mm,o,p,s,t,v,z" CPPFLAGS="$CPPFLAGS -UNDEBUG" echo "$as_me:$LINENO: result: default ($DEBUG_PKG)" >&5 @@ -47322,7 +47322,7 @@ echo "${ECHO_T}default ($DEBUG_PKG)" >&6 echo "$as_me:$LINENO: result: all ($DEBUG_PKG)" >&5 echo "${ECHO_T}all ($DEBUG_PKG)" >&6 ;; - X-no|X-none) + X-|X-no|X-none) echo "$as_me:$LINENO: result: none" >&5 echo "${ECHO_T}none" >&6 DEBUG_PKG= |