make/jprt.properties
changeset 33951 cc5ca0725e70
parent 33036 13f0ed5d0335
parent 33949 9120dcba2522
child 33952 8769e7f25636
--- a/make/jprt.properties	Fri Oct 30 10:28:51 2015 -0700
+++ b/make/jprt.properties	Sun Nov 01 09:55:18 2015 -0800
@@ -90,9 +90,10 @@
 # Configure args common to all builds
 # Also allows for additional, testset specific configure arguments to be set
 jprt.build.configure.args=						\
-    --with-output-sync=recurse 						\
-    --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				\
+    --with-version-opt=$JPRT_JOB_ID				 	\
     ${my.additional.build.configure.args.${jprt.test.set}}		\
     ${my.custom.build.configure.args}