1 2 3 4 5 6 7 8
#!/usr/bin/env bash . ../template/init.sh coq_makefile -f _CoqProject -o Makefile cat Makefile.conf make exec test -f "subdir/done"