git.iko.soy/Idris-dev
on cbc8a13 help sign in
Idris-dev/test/Makefile
12 lines 134 B history raw
1test:
2 perl ./runtest.pl all
4update:
5 perl ./runtest.pl all -u
7diff:
8 perl ./runtest.pl all -d
10distclean:
11 rm -f *~
12 rm -f */output