--- a/make/jprt.properties	Sun Aug 10 19:38:50 2014 -0700
+++ b/make/jprt.properties	Sun Aug 17 15:51:37 2014 +0100
@@ -79,8 +79,9 @@
 # Configure args common to all builds
 # Also allows for additional, testset specific configure arguments to be set
 jprt.build.configure.args=						\
-    --with-boot-jdk=$ALT_BOOTDIR					\
-    --with-jobs=$ALT_PARALLEL_COMPILE_JOBS				\
+    --with-output-sync=recurse 						\
+    --with-boot-jdk=$ALT_BOOTDIR 					\
+    --with-jobs=$ALT_PARALLEL_COMPILE_JOBS 				\
     ${my.additional.build.configure.args.${jprt.test.set}}
 
 # i586 is often cross-compiled from 64-bit machines, so need to set target bits explicitly