diff options
Diffstat (limited to '.travis')
-rw-r--r-- | .travis/utils.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/.travis/utils.sh b/.travis/utils.sh new file mode 100644 index 0000000000..58ce47f0ae --- /dev/null +++ b/.travis/utils.sh @@ -0,0 +1,27 @@ +#!/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 +} + +retry() { + local tries=$1 + shift + + local i=0 + while [ "$i" -lt "$tries" ]; do + "$@" && return 0 + sleep $((2**((i++)))) + done + + return 1 +} |