diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Id: configure.in 14290 2007-11-26 18:31:24Z epourmal . +# From configure.in Id: configure.in 14402 2008-01-13 06:37:00Z koziol . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.61 for HDF5 1.8.0-rc1. # @@ -22561,7 +22561,7 @@ 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; } @@ -22602,7 +22602,7 @@ echo "${ECHO_T}production" >&6; } H5_CXXFLAGS="$H5_CXXFLAGS $PROD_CXXFLAGS" H5_FCFLAGS="$H5_FCFLAGS $PROD_FCFLAGS" ;; - X-|X-no) + X-no) enable_production="no" { echo "$as_me:$LINENO: result: development" >&5 echo "${ECHO_T}development" >&6; } |