Fix reg039
Needs to clean .ibc when done
commit037ea33456c491207c0ce29452db4b4929bb933e
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 27 Aug 2016, 09:37 (10 years ago)
parent160eb14
test/reg039/run+1
@@ -5,3 +5,4 @@ set -eu
55TIMEOUT=../scripts/timeout
66
77$TIMEOUT 60 "${IDRIS:-idris}" "$@" --nocolour reg039.idr --exec go
8+rm -f *.ibc