git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/interfaces005/run.sh
5 lines 257 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ --nocolour --consolewidth 70 interfaces005.idr --check
3${IDRIS:-idris} $@ --nocolour --consolewidth 70 interfaces005a.idr --check
4${IDRIS:-idris} $@ --nocolour --consolewidth 70 interfaces005b.idr --check
5rm -rf *.ibc