OpenJDK / jdk / jdk
changeset 54656:3f72db799fbd
8222913: Add Jib support for VERSION_EXTRA*
Reviewed-by: tbell, mikael
| author | erikj |
|---|---|
| date | Tue, 30 Apr 2019 10:24:14 -0700 |
| parents | f7204876ce87 |
| children | bcea46e28de0 |
| files | make/conf/jib-profiles.js |
| diffstat | 1 files changed, 4 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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); }