diff options
Diffstat (limited to 'source/l/mozjs68/patches/tests-increase-timeout.patch')
| -rw-r--r-- | source/l/mozjs68/patches/tests-increase-timeout.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/source/l/mozjs68/patches/tests-increase-timeout.patch b/source/l/mozjs68/patches/tests-increase-timeout.patch new file mode 100644 index 000000000..91f5fa76e --- /dev/null +++ b/source/l/mozjs68/patches/tests-increase-timeout.patch @@ -0,0 +1,22 @@ +From: Adrian Bunk <bunk@debian.org> +Date: Tue, 3 Jul 2018 10:03:37 +0100 +Subject: Increase the test timeout for slower buildds + +Bug-Debian: https://bugs.debian.org/878284 +--- + js/src/Makefile.in | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/js/src/Makefile.in b/js/src/Makefile.in +index 4ac9f48..6ab5582 100644 +--- a/js/src/Makefile.in ++++ b/js/src/Makefile.in +@@ -72,7 +72,7 @@ check:: check-style check-masm check-js-msg check-opcode + + check-jstests: + $(wildcard $(RUN_TEST_PROGRAM)) $(PYTHON) -u $(srcdir)/tests/jstests.py \ +- --no-progress --format=automation --timeout 300 \ ++ --no-progress --format=automation --timeout 600 \ + $(JSTESTS_EXTRA_ARGS) \ + $(DIST)/bin/$(JS_SHELL_NAME)$(BIN_SUFFIX) + |