set -o errexit
set -o verbose

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