diff options
Diffstat (limited to '')
-rw-r--r-- | .travis/utils.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/.travis/utils.sh b/.travis/utils.sh deleted file mode 100644 index d084a7aef..000000000 --- a/.travis/utils.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash - -# Prevent travis from timing out after 10 minutes of no output -tick() { - (while true; do sleep 300; echo; done) & - local PID=$! - disown - - "$@" - local RET=$? - - kill $PID - return $RET -} -export -f tick - -retry() { - local tries=$1 - shift - - local i=0 - while [ "$i" -lt "$tries" ]; do - "$@" && return 0 - sleep $((2**((i++)))) - done - - return 1 -} -export -f retry |