make/jprt.properties

*** 91,100 ****
--- 91,101 ----
  # 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-version-opt=$JPRT_JOB_ID                                     \
      ${my.additional.build.configure.args.${jprt.test.set}}              \
      ${my.custom.build.configure.args}
  
  # i586 is often cross-compiled from 64-bit machines, so need to set target bits explicitly
  jprt.i586.build.configure.args=                                         \