projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
b0dbc48
)
hake: add -rtsopts=all flag to ghc
author
Kornilios Kourtis
<kkourt@inf.ethz.ch>
Mon, 5 Nov 2012 16:20:44 +0000 (17:20 +0100)
committer
Kornilios 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
patch
|
blob
|
history
diff --git
a/hake/hake.sh
b/hake/hake.sh
index
8d1071b
..
0ba9f4b
100755
(executable)
--- 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