git.iko.soy/Idris-dev
on a427f21 help sign in
Idris-dev/examples/Makefile
8 lines 111 B history raw
1check:
2 rm -f *.ibc
3 for x in *.idr ; do \
4 echo "Checking $$x"; \
5 idris --check $$x; \
6 done
7
8.PHONY: check