diff -r 5907d5b1287c -r 19196d07fa98 make/jprt.properties
--- 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}