make/jprt.properties
changeset 33934 6f9053f5c978
parent 31576 e9ea6d99c16c
parent 33932 6ffbe66fe204
child 33935 32c3292b80db
--- a/make/jprt.properties	Thu Jul 23 11:54:23 2015 -0700
+++ b/make/jprt.properties	Thu Jul 23 13:15:40 2015 -0700
@@ -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-base=$JPRT_JOB_ID				\
     ${my.additional.build.configure.args.${jprt.test.set}}		\
     ${my.custom.build.configure.args}