stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8282086: Update jib profile to not set build to 0

Browse Source 
Reviewed-by: erikj
This commit is contained in:
Magnus Ihse Bursie 2022-02-18 14:49:34 +00:00
parent f5120b764c
commit cf6984ddaa
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
make/conf/jib-profiles.js
View File

@ -1424,7 +1424,10 @@ var getVersion = function (feature, interim, update, patch, extra1, extra2, extr
* other version inputs
*/
var versionArgs = function(input, common) {
var args = ["--with-version-build=" + common.build_number];
var args = [];
if (common.build_number != 0) {
args = concat(args, "--with-version-build=" + common.build_number);
}
if (input.build_type == "promoted") {
args = concat(args,
"--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE"),