hake: add -rtsopts=all flag to ghc
authorKornilios Kourtis <kkourt@inf.ethz.ch>
Mon, 5 Nov 2012 16:20:44 +0000 (17:20 +0100)
committerKornilios Kourtis <kkourt@inf.ethz.ch>
Mon, 5 Nov 2012 16:20:44 +0000 (17:20 +0100)
We need this because we specify GHCRTS='-c' in our tests

hake/hake.sh

index 8d1071b..0ba9f4b 100755 (executable)
@@ -131,6 +131,7 @@ ghc -O --make -XDeriveDataTypeable \
     -outputdir hake \
     -i$SRCDIR/hake \
     -ihake \
+    -rtsopts=all \
     $SRCDIR/hake/Main.hs $LDFLAGS || exit 1
 
 if [ "$RUN_HAKE" == "No" ] ; then