1 files changed, 0 insertions, 15 deletions
diff --git a/.tools/retry.sh b/.tools/retry.sh
deleted file mode 100755
index aaa50e98..00000000
--- a/.tools/retry.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-
-n=0
-
-while true; do
-    $*
-    if [ "$?" == 0 ]; then
-        exit 0
-    fi
-    if [[ $n -ge 10 ]]; then
-        exit -1
-    fi
-    sleep 5s
-    n=$((n+1))
-done