idris-0.9.11: test/basic009/run
#!/usr/bin/env bash idris $@ Main.idr --nocolour --check && echo MAIN-PASS idris $@ Faulty.idr --nocolour --check && echo FAULTY-PASS idris $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS rm -f *.ibc B/*.ibc
#!/usr/bin/env bash idris $@ Main.idr --nocolour --check && echo MAIN-PASS idris $@ Faulty.idr --nocolour --check && echo FAULTY-PASS idris $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS rm -f *.ibc B/*.ibc