8222913: Add Jib support for VERSION_EXTRA*
authorerikj
Tue, 30 Apr 2019 10:24:14 -0700
changeset 54656 3f72db799fbd
parent 54655 f7204876ce87
child 54657 bcea46e28de0
8222913: Add Jib support for VERSION_EXTRA* Reviewed-by: tbell, mikael
make/conf/jib-profiles.js
--- a/make/conf/jib-profiles.js	Tue Apr 30 08:45:19 2019 -0700
+++ b/make/conf/jib-profiles.js	Tue Apr 30 10:24:14 2019 -0700
@@ -1283,7 +1283,10 @@
     var version = (feature != null ? feature : version_numbers.get("DEFAULT_VERSION_FEATURE"))
         + "." + (interim != null ? interim : version_numbers.get("DEFAULT_VERSION_INTERIM"))
         + "." + (update != null ? update :  version_numbers.get("DEFAULT_VERSION_UPDATE"))
-        + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH"));
+        + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH"))
+        + "." + version_numbers.get("DEFAULT_VERSION_EXTRA1")
+        + "." + version_numbers.get("DEFAULT_VERSION_EXTRA2")
+        + "." + version_numbers.get("DEFAULT_VERSION_EXTRA3");
     while (version.match(".*\\.0$")) {
         version = version.substring(0, version.length - 2);
     }