From 8e87b1002ff3485f2a389d9caa26dbcfdc90b36d Mon Sep 17 00:00:00 2001
From: Neil Mitchell <ndmitchell@gmail.com>
Date: Thu, 14 Apr 2016 09:05:27 +0100
Subject: [PATCH] #415, pass -I10000 when running the Travis file

---
 travis.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/travis.hs b/travis.hs
index d2dc4974c..9d07ee2a7 100644
--- a/travis.hs
+++ b/travis.hs
@@ -54,13 +54,13 @@ main = do
             ninjaZero <- cmd "../nin -j3 -d stats"
 
             cmd "../nin -t clean"
-            shakeFull <- cmd "shake -j3 --verbose"
+            shakeFull <- cmd "shake -j3 --verbose +RTS -I10000"
 
             -- time Shake
             cmd "../nin -t clean"
-            shakeFull <- cmd "shake -j3 --quiet --timings"
+            shakeFull <- cmd "shake -j3 --quiet --timings +RTS -I10000"
             cmd "shake --no-build --report=-"
-            shakeZero <- cmd "shake -j3 --quiet --timings"
+            shakeZero <- cmd "shake -j3 --quiet --timings +RTS -I10000"
 
             -- Diagnostics
             cmd "ls -l .shake* build/.ninja*"