git.iko.soy/Idris-dev
on 0875310 help sign in
Idris-dev/test/basic009/run
5 lines 218 B history raw
1#!/usr/bin/env bash
2idris $@ Main.idr --nocolour --check && echo MAIN-PASS
3idris $@ Faulty.idr --nocolour --check && echo FAULTY-PASS
4idris $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS
5rm -f *.ibc B/*.ibc