make/jprt.properties
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}