mongodb/evergreen/download_tlc.sh

mirror of https://github.com/mongodb/mongo.git synced 2024-11-21 20:49:10 +01:00
set -o errexit
set -o verbose

cd src/src/mongo/tla_plus
./download-tlc.sh
SERVER-55299 Preliminary pass at shell code in evergreen.yml 2021-03-25 08:37:15 +01:00			`set -o errexit`
			`set -o verbose`

SERVER-59026 Move TLA+ dir from repl/ to mongo/ 2021-08-03 19:36:39 +02:00			`cd src/src/mongo/tla_plus`
SERVER-55299 Preliminary pass at shell code in evergreen.yml 2021-03-25 08:37:15 +01:00			`./download-tlc.sh`