diff -r 9dedf718fe33 -r 9120dcba2522 make/jprt.properties
--- a/make/jprt.properties	Tue Oct 20 12:12:43 2015 +0200
+++ b/make/jprt.properties	Wed Oct 21 10:57:08 2015 -0700
@@ -93,7 +93,7 @@
     --with-output-sync=recurse						\
     --with-boot-jdk=$ALT_BOOTDIR					\
     --with-jobs=$ALT_PARALLEL_COMPILE_JOBS				\
-    --with-version-opt-base=$JPRT_JOB_ID				\
+    --with-version-opt=$JPRT_JOB_ID				 	\
     ${my.additional.build.configure.args.${jprt.test.set}}		\
     ${my.custom.build.configure.args}