diff options
author | iphydf <iphydf@users.noreply.github.com> | 2017-01-19 15:58:03 +0000 |
---|---|---|
committer | iphydf <iphydf@users.noreply.github.com> | 2017-01-19 15:58:03 +0000 |
commit | f58dbe250329aad0ac2d54789359c162f43de311 (patch) | |
tree | 19ab70508dae39b568dbdcdef3ac19118f6bd408 /other/travis/env-linux.sh | |
parent | a74ab7cd1ae78a87dd410813ec1d2d6e78b5d8c3 (diff) |
Limit number of retries to 3.
Diffstat (limited to 'other/travis/env-linux.sh')
-rw-r--r-- | other/travis/env-linux.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh index 1782c229..68687a2b 100644 --- a/other/travis/env-linux.sh +++ b/other/travis/env-linux.sh | |||
@@ -11,8 +11,10 @@ RUN() { | |||
11 | } | 11 | } |
12 | 12 | ||
13 | TESTS() { | 13 | TESTS() { |
14 | # Keep running tests until they eventually succeed or Travis times out after | 14 | COUNT="$1"; shift |
15 | # 50 minutes. This cuts down on the time lost when tests fail, because we no | 15 | "$@" || { |
16 | # longer need to manually restart the build and wait for compilation. | 16 | if [ $COUNT -gt 1 ]; then |
17 | "$@" || TESTS "$@" | 17 | TESTS `expr $COUNT - 1` "$@" |
18 | fi | ||
19 | } | ||
18 | } | 20 | } |