summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-05-16 10:52:07 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-05-16 10:52:07 -0400
commit02724f709fcafa9f4e854c271df6c2f79fd9cfa6 (patch)
treee63c05ba6032c5870dea4aacd3fe6c4886f42a51 /src
parentd37b9e406530d3526d3fef65341f40f9c81994d7 (diff)
Increase default timeout to cope with behavior of some Chrome versions
Diffstat (limited to 'src')
-rw-r--r--src/compiler.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 76743fad..dccda06d 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -434,7 +434,7 @@ fun parseUrp' accLibs fname =
sql = NONE,
debug = Settings.getDebug (),
profile = false,
- timeout = 60,
+ timeout = 120,
ffi = [],
link = [],
linker = NONE,