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)
commitb244774e24346e6606caae42fe2129d6c9e6dd29
treeff43d2145405e65c7f24b2050434c34d8d720648
parentb0dbc4897b12a97bf54477cb9b8f62e299d51261
hake: add -rtsopts=all flag to ghc

We need this because we specify GHCRTS='-c' in our tests
hake/hake.sh