mirror of https://github.com/mongodb/mongo
SERVER-112491 Add binaries in the Evergreen working directory higher on the search path (#42669)
GitOrigin-RevId: f1fe8fef7da75bf20b613a3c533f748e7c6cee45
This commit is contained in:
parent
fe56ca3698
commit
aca7211a4f
|
|
@ -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