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 | } |