git.iko.soy/Idris-dev
on master help sign in
Set target explicitly for test_c
028868eNiklas Larsson
Makefile+1−6
compare with master
unifiedsplit
@@ -20,16 +20,11 @@ build: dist/setup-config
20test: doc test_c
20test: doc test_c
21
21
22test_c:
22test_c:
23− $(MAKE) -C test IDRIS=../dist/build/idris/idris
23+ $(MAKE) -C test IDRIS=../dist/build/idris/idris test
24
24
25test_js:
25test_js:
26 $(MAKE) -C test IDRIS=../dist/build/idris/idris test_js
26 $(MAKE) -C test IDRIS=../dist/build/idris/idris test_js
27
27
28−test_all:
29− $(MAKE) test
30− $(MAKE) test_llvm
31− $(MAKE) test_java
32−
33test_timed:
28test_timed:
34 $(MAKE) -C test IDRIS=../dist/build/idris/idris time
29 $(MAKE) -C test IDRIS=../dist/build/idris/idris time
35
30