common/conf/jib-profiles.js
changeset 37035 08e00f202d7a
parent 36727 a86a1a1cae13
child 37407 9a0927683faa
--- 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"],