diff options
| -rwxr-xr-x | configure | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -9755,6 +9755,12 @@ touch ./config/stamp1 saved_no_create=$no_create no_create=yes +PARALLEL_MAKE= + +if test -n "$TESTPARALLEL"; then + PARALLEL_MAKE="$TESTPARALLEL/Makefile" +fi + EXTRA_H4_MAKEFILES= if test -n "$H4TOH5"; then @@ -9878,7 +9884,7 @@ trap 'rm -fr `echo "src/libhdf5.settings src/Makefile pablo/Makefile test/Makefile - testpar/Makefile + $PARALLEL_MAKE tools/Makefile tools/h5dump/Makefile tools/h5ls/Makefile @@ -10043,7 +10049,7 @@ CONFIG_FILES=\${CONFIG_FILES-"src/libhdf5.settings src/Makefile pablo/Makefile test/Makefile - testpar/Makefile + $PARALLEL_MAKE tools/Makefile tools/h5dump/Makefile tools/h5ls/Makefile |