0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-21 12:39:08 +01:00

SERVER-85798 fix build_patch_id (#18439)

GitOrigin-RevId: cbec817baa0eea96d060f78836ddd6fbb9a07c41
This commit is contained in:
Trevor 2024-01-26 20:38:03 -06:00 committed by MongoDB Bot
parent 948a4a5070
commit 950acfb704
4 changed files with 13 additions and 0 deletions

View File

@ -189,12 +189,14 @@ tasks:
- command: subprocess.exec
params:
binary: bash
add_expansions_to_env: true
args:
- "./src/evergreen/record_mongodb_server_version.sh"
- "./build/install/dist-test/bin/mongod"
- "./version_info_mongod.txt"
- command: s3.put
params:
optional: true
aws_key: ${aws_key}
aws_secret: ${aws_secret}
local_file: src/version_info_mongod.txt

View File

@ -327,6 +327,7 @@ tasks:
- command: subprocess.exec
params:
binary: bash
add_expansions_to_env: true
args:
- "./src/evergreen/generate_buildid_debug_symbols_mapping.sh"

View File

@ -6,6 +6,11 @@ cd src
set -o errexit
set -o verbose
build_patch_id="${build_patch_id:-${reuse_compile_from}}"
if [ -n "${build_patch_id}" ]; then
exit 0
fi
is_san_variant_arg=""
if [[ -n "${san_options}" ]]; then
is_san_variant_arg="--is-san-variant"

View File

@ -6,4 +6,9 @@ cd src
set -o errexit
set -o verbose
build_patch_id="${build_patch_id:-${reuse_compile_from}}"
if [ -n "${build_patch_id}" ]; then
exit 0
fi
"$1" --version > "$2"