diff options
author | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-04-30 23:29:43 -0400 |
---|---|---|
committer | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-04-30 23:51:39 -0400 |
commit | cca3f7a1058e401a085a14030f7e61db9653b964 (patch) | |
tree | 3924070cbf1ef46ee7ef32f2a52959f4d0ae8594 | |
parent | 1e0d0395111033453c865a79eda1e6cda7ba3348 (diff) | |
download | servo-cca3f7a1058e401a085a14030f7e61db9653b964.tar.gz servo-cca3f7a1058e401a085a14030f7e61db9653b964.zip |
Remove etc/ci/retry.sh
It was added with the intention of being used on the CI,
but it was never added to the CI. We have better ways of finding
test failures and intermittents these days.
-rwxr-xr-x | etc/ci/retry.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/etc/ci/retry.sh b/etc/ci/retry.sh deleted file mode 100755 index ea0e2897c1d..00000000000 --- a/etc/ci/retry.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash - -# Retries a given command until it passes -# Run as `retry.sh N command args...` -# where `N` is the maximum number of tries, and `command args...` is the -# command to run, with arguments - -set -o errexit -set -o nounset -set -o pipefail - -n="$1" -shift; # this removes the first argument from $@ -for i in $(seq $n); do - echo "====== RUN NUMBER: $i ======"; - # Run command and exit success if return code is 0, else ignore it - "$@" && exit 0 || true -done -exit 1 |