download_tlc.sh\evergreen - delta/mongo.git - github.com: mongodb/mongo.git

index : delta/mongo.git

github.com: mongodb/mongo.git

summary refs log tree commit diff

path: root/evergreen/download_tlc.sh

blob: 7c4f1b11ed6da188cb9bd1f776c7d22429f4e0d7 (plain)

set -o errexit
set -o verbose

cd src/src/mongo/tla_plus
./download-tlc.sh