make/conf/jib-profiles.js
changeset 54789 77e95181b5d6
parent 54751 5600f5c38b0b
child 55431 43627549a488
child 58678 9cf78a70fa4f
--- a/make/conf/jib-profiles.js	Thu May 09 10:04:33 2019 -0400
+++ b/make/conf/jib-profiles.js	Thu May 09 07:33:28 2019 -0700
@@ -1301,7 +1301,7 @@
     var args = ["--with-version-build=" + common.build_number];
     if (input.build_type == "promoted") {
         args = concat(args,
-                      "--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTION_VERSION_PRE"),
+                      "--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE"),
                       "--without-version-opt");
     } else if (input.build_type == "ci") {
         var optString = input.build_id_data.ciBuildNumber;