at v192 30 lines 1.1 kB view raw
1diff -rc hdf5-1.8.5/configure hdf5-1.8.5-new/configure 2*** hdf5-1.8.5/configure 2010-06-04 20:26:04.000000000 +0200 3--- hdf5-1.8.5-new/configure 2010-08-02 10:30:26.000000000 +0200 4*************** 5*** 30587,30598 **** 6 sed 's/#define /#define H5_/' <src/H5config.h |\ 7 sed 's/#undef /#undef H5_/' >pubconf 8 if test ! -f src/H5pubconf.h; then 9! /bin/mv -f pubconf src/H5pubconf.h 10 elif (diff pubconf src/H5pubconf.h >/dev/null); then 11 rm -f pubconf 12 echo "src/H5pubconf.h is unchanged" 13 else 14! /bin/mv -f pubconf src/H5pubconf.h 15 fi 16 echo "Post process src/libhdf5.settings" 17 sed '/^#/d' < src/libhdf5.settings > libhdf5.settings.TMP 18--- 30587,30598 ---- 19 sed 's/#define /#define H5_/' <src/H5config.h |\ 20 sed 's/#undef /#undef H5_/' >pubconf 21 if test ! -f src/H5pubconf.h; then 22! mv -f pubconf src/H5pubconf.h 23 elif (diff pubconf src/H5pubconf.h >/dev/null); then 24 rm -f pubconf 25 echo "src/H5pubconf.h is unchanged" 26 else 27! mv -f pubconf src/H5pubconf.h 28 fi 29 echo "Post process src/libhdf5.settings" 30 sed '/^#/d' < src/libhdf5.settings > libhdf5.settings.TMP