mirror of https://github.com/mongodb/mongo
SERVER-109641: update custom build promotion (#40405)
GitOrigin-RevId: f022a5e35e74264675e409070e9eb054755a9445
This commit is contained in:
parent
c4d8bc6750
commit
4d538206c6
|
|
@ -21,7 +21,7 @@ else
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ -z "$PROMOTE_PROJECT_IDENTIFIER" ]; then
|
if [ -z "$PROMOTE_PROJECT_IDENTIFIER" ]; then
|
||||||
promote_project_identifier=$(cat task_data.json | jq -r ".project_identifier")
|
promote_project_identifier=$(cat debug_task_data.json | jq -r ".project_identifier")
|
||||||
else
|
else
|
||||||
promote_project_identifier=$PROMOTE_PROJECT_IDENTIFIER
|
promote_project_identifier=$PROMOTE_PROJECT_IDENTIFIER
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue