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 14789 2008-04-02 18:29:17Z vchoi . +# From configure.in Id: configure.in 14799 2008-04-06 10:05:45Z hdftest . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.61 for HDF5 1.9.2. # @@ -22561,7 +22561,7 @@ fi case "X-$enable_production" in - X-|X-yes) + 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-no) + X-|X-no) enable_production="no" { echo "$as_me:$LINENO: result: development" >&5 echo "${ECHO_T}development" >&6; } |