make/conf/jib-profiles.js
changeset 52342 9341b077bd55
parent 52275 f39073b97db7
child 52343 b66b51c4e405
--- a/make/conf/jib-profiles.js	Wed Oct 31 08:09:45 2018 +0100
+++ b/make/conf/jib-profiles.js	Wed Oct 31 09:30:24 2018 +0100
@@ -759,7 +759,7 @@
                 testedProfile + ".test"
             ],
             src: "src.conf",
-            make_args: [ "run-test-prebuilt", "LOG_CMDLINES=true", "JTREG_VERBOSE=fail,error,time" ],
+            make_args: [ "test-prebuilt", "LOG_CMDLINES=true", "JTREG_VERBOSE=fail,error,time" ],
             environment: {
                 "BOOT_JDK": common.boot_jdk_home,
                 "JDK_IMAGE_DIR": input.get(testedProfile + ".jdk", "home_path"),