From 0744762fdd835ff192da72b4fc711ffa403ff8ca Mon Sep 17 00:00:00 2001 From: Clément Pit-Claudel Date: Wed, 16 May 2018 17:13:46 +0200 Subject: [sphinx] Bump timeout. Closes #7532. --- doc/tools/coqrst/coqdoc/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/tools') diff --git a/doc/tools/coqrst/coqdoc/main.py b/doc/tools/coqrst/coqdoc/main.py index a004959eb..cedd60d3b 100644 --- a/doc/tools/coqrst/coqdoc/main.py +++ b/doc/tools/coqrst/coqdoc/main.py @@ -40,7 +40,7 @@ def coqdoc(coq_code, coqdoc_bin=None): os.write(fd, COQDOC_HEADER.encode("utf-8")) os.write(fd, coq_code.encode("utf-8")) os.close(fd) - return check_output([coqdoc_bin] + COQDOC_OPTIONS + [filename], timeout = 2).decode("utf-8") + return check_output([coqdoc_bin] + COQDOC_OPTIONS + [filename], timeout = 10).decode("utf-8") finally: os.remove(filename) -- cgit v1.2.3