1 2 3 4 5 6 7 8 9 10
#!/bin/sh #set -x set -e export PATH=../../../bin/:$PATH git clean -dfx . coq_makefile -f _CoqProject -o Makefile make exec test -f "subdir/done"