Ignore usage warnings in test/effects*.
commit091692953f2f699aded780099c783dae2f761bc4
authorMatus Tejiscak <ziman@functor.sk>
dateThu 27 Feb 2014, 14:06 (13 years ago)
parentc181edb
test/effects001/run+2−2
@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
2−idris -p effects $@ test021.idr -o test021
3−idris -p effects $@ test021a.idr -o test021a
2+idris -p effects $@ test021.idr -o test021 --nowarnreach
3+idris -p effects $@ test021a.idr -o test021a --nowarnreach
44./test021
55./test021a
66rm -f test021 test021a *.ibc
test/effects002/run+1−1
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−idris -p effects $@ test025.idr -o test025
2+idris -p effects $@ test025.idr -o test025 --nowarnreach
33./test025
44rm -f test025 *.ibc