changeset 33396 | 19196d07fa98 |
parent 33036 | 13f0ed5d0335 |
child 33952 | 8769e7f25636 |
child 33439 | 1a80e1d10cc4 |
--- a/make/jprt.properties Thu Oct 29 17:11:55 2015 +0100 +++ b/make/jprt.properties Thu Oct 29 17:14:34 2015 +0100 @@ -93,6 +93,7 @@ --with-output-sync=recurse \ --with-boot-jdk=$ALT_BOOTDIR \ --with-jobs=$ALT_PARALLEL_COMPILE_JOBS \ + MAKE=$JPRT_MAKE \ ${my.additional.build.configure.args.${jprt.test.set}} \ ${my.custom.build.configure.args}