diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -9964,6 +9964,7 @@ trap 'rm -fr `echo "src/libhdf5.settings tools/h5ls/Makefile tools/lib/Makefile tools/misc/Makefile + tools/gifconv/Makefile $EXTRA_H4_MAKEFILES examples/Makefile doc/Makefile @@ -10130,6 +10131,7 @@ CONFIG_FILES=\${CONFIG_FILES-"src/libhdf5.settings tools/h5ls/Makefile tools/lib/Makefile tools/misc/Makefile + tools/gifconv/Makefile $EXTRA_H4_MAKEFILES examples/Makefile doc/Makefile |