Fix "make relib" to use dynamic rts
commitb0a82cfabe6a7ffad794c270e49fa37608599266
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 4 Apr 2013, 16:34 (14 years ago)
parentf1ea2e4
Makefile+1−1
@@ -18,7 +18,7 @@ test:
1818
1919relib:
2020 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
2222 $(CABAL) install $(CABALFLAGS)
2323
2424linecount: