diff options
author | Robert Guo <robert.guo@mongodb.com> | 2021-06-10 19:36:11 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-06-15 22:28:00 +0000 |
commit | c940646a2bda05b6e6ba1c84be9d3c52a6426559 (patch) | |
tree | cbc1468e9a5004b5333b517cb97e387eddfc57f5 /evergreen/prelude.sh | |
parent | b8ffbe6748bcb150d2c818bce72d19fdcd4787d4 (diff) | |
download | mongo-c940646a2bda05b6e6ba1c84be9d3c52a6426559.tar.gz |
SERVER-57580 combine task_path_suffix and use_multiversion into
require_multiversion
Diffstat (limited to 'evergreen/prelude.sh')
-rwxr-xr-x | evergreen/prelude.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/evergreen/prelude.sh b/evergreen/prelude.sh index a44b69e7a0a..81bacd45325 100755 --- a/evergreen/prelude.sh +++ b/evergreen/prelude.sh @@ -1,5 +1,5 @@ if [[ "$0" == *"/evergreen/prelude.sh" ]]; then - echo "ERROR: do not execute this script. source it instead. ie: . prelude.sh" + echo "ERROR: do not execute this script. source it instead. i.e.: . prelude.sh" exit 1 fi set -o errexit |