mirror of https://github.com/mongodb/mongo
SERVER-112491 Add binaries in the Evergreen working directory higher on the search path (#42835)
GitOrigin-RevId: 48240d47af9b30483f869dd596fd7ebf21e501b3
This commit is contained in:
parent
60c4ee2187
commit
e28ebc56bf
|
|
@ -9,7 +9,7 @@ evergreen_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
|
|||
|
||||
evergreen_workdir=$(realpath ${evergreen_dir}/../..)
|
||||
mkdir -p ${evergreen_workdir}/bin
|
||||
export PATH=$PATH:${evergreen_workdir}/bin
|
||||
export PATH=${evergreen_workdir}/bin:$PATH
|
||||
unset evergreen_workdir
|
||||
|
||||
function timeout_and_retry {
|
||||
|
|
|
|||
Loading…
Reference in New Issue