1 2 3 4 5
#!/bin/sh set -e $coqc -R misc/7595 Test misc/7595/base.v $coqc -R misc/7595 Test misc/7595/FOO.v