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