diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Id: configure.in 15012 2008-05-15 21:08:23Z mcgreevy . +# From configure.in Id: configure.in 15014 2008-05-15 21:35:13Z mcgreevy . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.61 for HDF5 1.9.6. # @@ -2750,7 +2750,7 @@ echo "${ECHO_T}done" >&6; } HDF5_HL=yes GPFS=no LINUX_LFS=no - INSTRUMENT=no + CODESTACK=no HAVE_DMALLOC=no DIRECT_VFD=no @@ -52577,12 +52577,9 @@ echo "$as_me: executing $ac_file commands" >&6;} /bin/mv -f pubconf src/H5pubconf.h fi echo "Post process src/libhdf5.settings" -cat src/libhdf5.settings sed '/^#/d' < src/libhdf5.settings > libhdf5.settings.TMP cp libhdf5.settings.TMP src/libhdf5.settings rm -f libhdf5.settings.TMP -echo result -cat src/libhdf5.settings ;; "depfiles":C) test x"$AMDEP_TRUE" != x"" || for mf in $CONFIG_FILES; do # Strip MF so we end up with the name of the file. |