--- old/make/jprt.properties 2015-06-10 15:43:44.059125962 +0200 +++ new/make/jprt.properties 2015-06-10 15:43:43.951125960 +0200 @@ -93,6 +93,7 @@ --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}