@@ -14,15 +14,15 @@ build: dist/setup-config
14 $(CABAL) build $(CABALFLAGS)
14 $(CABAL) build $(CABALFLAGS)
17− make -C test IDRIS=../dist/build/idris
17+ $(MAKE) -C test IDRIS=../dist/build/idris
20− make -C test IDRIS=../dist/build/idris test_java
20+ $(MAKE) -C test IDRIS=../dist/build/idris test_java
23− make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
23+ $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
24− make -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
24+ $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
25− make -C javascript IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
25+ $(MAKE) -C javascript IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
26 $(CABAL) install $(CABALFLAGS)
26 $(CABAL) install $(CABALFLAGS)