mirror of https://github.com/mongodb/mongo
SERVER-105106 Use bash v3.x syntax in v8.0 rather than Bash v4.2+ (#36183)
GitOrigin-RevId: 05671e6c2fbf6ff6c32735d7886cdebd8e37285a
This commit is contained in:
parent
9afe3753d4
commit
cb835b1e61
|
|
@ -136,7 +136,7 @@ if [ "${build_mongot}" = "true" ]; then
|
||||||
# Checking that this is not a downstream patch on mongod created by mongot's patch trigger.
|
# Checking that this is not a downstream patch on mongod created by mongot's patch trigger.
|
||||||
# In the case that it's not, download latest (eg HEAD of 10gen/mongot) or the
|
# In the case that it's not, download latest (eg HEAD of 10gen/mongot) or the
|
||||||
# release (eg currently running in production on Atlas) mongot binary.
|
# release (eg currently running in production on Atlas) mongot binary.
|
||||||
if [[ ! -v linux_x86_64_mongot_localdev_binary && ! -v linux_aarch64_mongot_localdev_binary && ! -v macos_x86_64_mongot_localdev_binary ]]; then
|
if [[ -z ${linux_x86_64_mongot_localdev_binary+x} && -z ${linux_aarch64_mongot_localdev_binary+x} && -z ${macos_x86_64_mongot_localdev_binary+x} ]]; then
|
||||||
if [ "${download_mongot_release}" = "true" ]; then
|
if [ "${download_mongot_release}" = "true" ]; then
|
||||||
extra_args="$extra_args --build-mongot=release"
|
extra_args="$extra_args --build-mongot=release"
|
||||||
else
|
else
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue