@@ -1,6 +1,6 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris $@ test010.idr -o test010
2+idris $@ --check test010.idr
3−idris $@ test010a.idr -o test010
3+idris $@ --check test010a.idr
4−idris $@ test010b.idr -o test010
4+idris $@ --check test010b.idr