diff options
| author | A. Jesse Jiryu Davis <jesse@mongodb.com> | 2021-08-03 13:36:39 -0400 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-08-04 13:46:13 +0000 |
| commit | 35c2b631b6efa1af9909d1c6edaef10d7dbacc1e (patch) | |
| tree | 411cf344cb5a3cfbece0c8e43191405af21bb967 /evergreen | |
| parent | d0eb0b5775e46895ab5e884db2af70632615c70e (diff) | |
| download | mongo-35c2b631b6efa1af9909d1c6edaef10d7dbacc1e.tar.gz | |
SERVER-59026 Move TLA+ dir from repl/ to mongo/
Diffstat (limited to 'evergreen')
| -rwxr-xr-x | evergreen/download_tlc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/evergreen/download_tlc.sh b/evergreen/download_tlc.sh index 2f4079680bb..7c4f1b11ed6 100755 --- a/evergreen/download_tlc.sh +++ b/evergreen/download_tlc.sh @@ -1,5 +1,5 @@ set -o errexit set -o verbose -cd src/src/mongo/db/repl/tla_plus +cd src/src/mongo/tla_plus ./download-tlc.sh |