diff -r 3e7d1a70e010 -r ae288cbb4c28 make/jprt.properties --- a/make/jprt.properties Fri Dec 13 09:34:44 2013 -0800 +++ b/make/jprt.properties Tue Dec 17 11:09:26 2013 +0100 @@ -151,3 +151,23 @@ # Directories to be excluded from the source bundles jprt.bundle.exclude.src.dirs=build dist webrev +# Instruct jprt to use configure when building +jprt.build.use.configure=true +jprt.build.flavor.product.target=jprt_bundle +jprt.build.flavor.fastdebug.target=jprt_bundle +jprt.build.flavor.debug.target=jprt_bundle + +# Add these configure args to all builds +jprt.build.configure.args= \ + --with-boot-jdk=$ALT_BOOTDIR \ + --with-jobs=$ALT_PARALLEL_COMPILE_JOBS + +# Add these configure args to 32 bit builds +jprt.i586.build.configure.args= \ + --with-target-bits=32 \ + --with-jvm-variants=client,server + +# Use these configure args to define debug level. +jprt.product.build.configure.args=--with-debug-level=release +jprt.fastdebug.build.configure.args=--with-debug-level=fastdebug +jprt.debug.build.configure.args=--with-debug-level=slowdebug