diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -9803,6 +9803,7 @@ trap 'rm -fr `echo "src/libhdf5.settings pablo/Makefile test/Makefile $PARALLEL_MAKE + perform/Makefile tools/Makefile tools/h5dump/Makefile tools/h5ls/Makefile @@ -9971,6 +9972,7 @@ CONFIG_FILES=\${CONFIG_FILES-"src/libhdf5.settings pablo/Makefile test/Makefile $PARALLEL_MAKE + perform/Makefile tools/Makefile tools/h5dump/Makefile tools/h5ls/Makefile |