--- a/common/conf/jib-profiles.js Fri Apr 15 14:57:53 2016 +0200
+++ b/common/conf/jib-profiles.js Fri Apr 15 18:07:34 2016 +0200
@@ -214,7 +214,7 @@
var getJibProfilesCommon = function (input) {
var common = {
dependencies: ["boot_jdk", "gnumake", "jtreg"],
- configure_args: ["--with-default-make-target=all"],
+ configure_args: ["--with-default-make-target=all", "--enable-jtreg-failure-handler"],
configure_args_32bit: ["--with-target-bits=32", "--with-jvm-variants=client,server"],
configure_args_debug: ["--enable-debug"],
configure_args_slowdebug: ["--with-debug-level=slowdebug"],