set -o errexit
set -o verbose

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