diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -9827,10 +9827,12 @@ touch ./config/stamp1 saved_no_create=$no_create no_create=yes -PARALLEL_MAKE= +PARALLEL_MAKE="" + PARALLEL_EXAMPLES_SRC="" if test -n "$TESTPARALLEL"; then PARALLEL_MAKE="$TESTPARALLEL/Makefile" + PARALLEL_EXAMPLES_SRC="examples/ph5example.c" fi EXTRA_H4_MAKEFILES= @@ -10068,6 +10070,7 @@ s%@COMMENCE@%%g s%@CONCLUDE@%%g s%@SEARCH@%$SEARCH%g s%@SETX@%$SETX%g +s%@PARALLEL_EXAMPLES_SRC@%$PARALLEL_EXAMPLES_SRC%g CEOF EOF |