@@ -18,7 +18,7 @@ test:
20 make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
20 make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
21− make -C effects IDRIS=../dist/build/idris/idris DIST=../dist/build clean
21+ make -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
22 $(CABAL) install $(CABALFLAGS)
22 $(CABAL) install $(CABALFLAGS)