1 files changed, 2 insertions, 5 deletions
diff --git a/configure b/configure
index 02c80b4..93744e7 100755
--- a/configure
+++ b/configure
@@ -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.