6 lines
75 B
Bash
Executable File
6 lines
75 B
Bash
Executable File
set -o errexit
|
|
set -o verbose
|
|
|
|
cd src/src/mongo/tla_plus
|
|
./download-tlc.sh
|