git.iko.soy/Idris-dev
on ff0fbfa help sign in
Idris-dev/test/Makefile
15 lines 184 B history raw
1test:
2 perl ./runtest.pl all
4test_java:
5 perl ./runtest.pl all --target Java
7update:
8 perl ./runtest.pl all -u
10diff:
11 perl ./runtest.pl all -d
13distclean:
14 rm -f *~
15 rm -f */output