Merge pull request #2908 from melted/make_fix
Set target explicitly for test_c
commit8bffef4e47dbfe4e3a825cd9ac9ef40dd7ff6008
authorNiklas Larsson <metaniklas@gmail.com>
dateSun 24 Jan 2016, 03:51 (11 years ago)
parent4e5474a028868e
Makefile+1−6
@@ -20,16 +20,11 @@ build: dist/setup-config
2020test: doc test_c
2121
2222test_c:
23− $(MAKE) -C test IDRIS=../dist/build/idris/idris
23+ $(MAKE) -C test IDRIS=../dist/build/idris/idris test
2424
2525test_js:
2626 $(MAKE) -C test IDRIS=../dist/build/idris/idris test_js
2727
28−test_all:
29− $(MAKE) test
30− $(MAKE) test_llvm
31− $(MAKE) test_java
32−
3328test_timed:
3429 $(MAKE) -C test IDRIS=../dist/build/idris/idris time
3530