Merge pull request #588 from david-christiansen/test_all
Add test_all target to run tests for all backends
commit73f4393b5756121d2075f65827cd2a5d13354e35
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 3 Nov 2013, 12:20 (13 years ago)
parent370b06337f0b57
Makefile+5
@@ -22,6 +22,11 @@ test_java:
2222test_llvm:
2323 $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
2424
25+test_all:
26+ $(MAKE) test
27+ $(MAKE) test_llvm
28+ $(MAKE) test_java
29+
2530lib_clean:
2631 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
2732 $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean