#415, another -I100000

ndmitchell · Apr 14, 2016 · 8b57dd1 · 8b57dd1
1 parent 8e87b10
commit 8b57dd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/travis.hs b/travis.hs
@@ -79,7 +79,7 @@ main = do
 
     createDirectoryIfMissing True "temp"
     withCurrentDirectory "temp" $
-        cmd "shake --demo --keep-going"
+        cmd "shake --demo --keep-going +RTS -I10000"
 
     ghcver <- lookupEnv "GHCVER"
     when (ghcver >= Just "7.6" && ghcver /= Just "head") $ do