Add test_all target to run tests for all backends
(excellent for coffee breaks)
commit37f0b57f0cd92d861789a2ea82c4843fc29a732c
authorDavid Christiansen <david@davidchristiansen.dk>
dateSun 3 Nov 2013, 19:51 (13 years ago)
parentc0cda70
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