From b244774e24346e6606caae42fe2129d6c9e6dd29 Mon Sep 17 00:00:00 2001
From: Kornilios Kourtis <kkourt@inf.ethz.ch>
Date: Mon, 5 Nov 2012 17:20:44 +0100
Subject: [PATCH] hake: add -rtsopts=all flag to ghc

We need this because we specify GHCRTS='-c' in our tests
---
 hake/hake.sh |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/hake/hake.sh b/hake/hake.sh
index 8d1071b..0ba9f4b 100755
--- a/hake/hake.sh
+++ b/hake/hake.sh
@@ -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
-- 
1.7.2.5