summaryrefslogtreecommitdiff
path: root/other/travis/env-linux.sh
diff options
context:
space:
mode:
authoriphydf <iphydf@users.noreply.github.com>2017-01-19 00:31:19 +0000
committeriphydf <iphydf@users.noreply.github.com>2017-01-19 12:35:22 +0000
commita74ab7cd1ae78a87dd410813ec1d2d6e78b5d8c3 (patch)
tree37888bc9aa0029365cfd72f7b2cb85b7e66eaedb /other/travis/env-linux.sh
parent8f96ca6d860ee6d2fb9a502b0e931b461edb3919 (diff)
Make Travis tests slightly more robust by re-running them.
Diffstat (limited to 'other/travis/env-linux.sh')
-rw-r--r--other/travis/env-linux.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh
index dd5a6f7f..1782c229 100644
--- a/other/travis/env-linux.sh
+++ b/other/travis/env-linux.sh
@@ -11,5 +11,8 @@ RUN() {
11} 11}
12 12
13TESTS() { 13TESTS() {
14 "$@" 14 # Keep running tests until they eventually succeed or Travis times out after
15 # 50 minutes. This cuts down on the time lost when tests fail, because we no
16 # longer need to manually restart the build and wait for compilation.
17 "$@" || TESTS "$@"
15} 18}