lean4-htt/examples/bootstrap/check.sh
tydeu 4e61320225 chore: bin/lake -> bin/Lake
Reason: casing matters on Linux
2021-09-13 12:55:36 -04:00

4 lines
64 B
Bash
Executable file

set -ex
./build/bin/Lake --version
./build/bin/Lake self-check