common/conf/jib-profiles.js
changeset 37407 9a0927683faa
parent 37402 62b5f067032e
parent 37035 08e00f202d7a
child 37764 63e0379dd186
child 37649 3809534d4531
--- a/common/conf/jib-profiles.js	Thu Apr 14 19:55:39 2016 -0700
+++ b/common/conf/jib-profiles.js	Mon Apr 18 15:39:46 2016 -0700
@@ -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"],