hake: add -rtsopts=all flag to ghc
[barrelfish] / 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