Retry flakey hg clone

2022-08-05 12:32:16 +02:00 · 2022-08-05 12:32:16 +02:00 · 11741adccb
parent 21f5e861bb
commit 11741adccb
1 changed files with 1 additions and 1 deletions
--- a/scripts.d/25-gmp.sh
+++ b/scripts.d/25-gmp.sh
@ -8,7 +8,7 @@ ffbuild_enabled() {
 }

 ffbuild_dockerbuild() {
-    hg clone -r "$SCRIPT_HGREV" -u "$SCRIPT_HGREV" "$SCRIPT_REPO" gmp
+    retry-tool sh -c "rm -rf gmp && hg clone -r '$SCRIPT_HGREV' -u '$SCRIPT_HGREV' '$SCRIPT_REPO' gmp"
    cd gmp

    ./.bootstrap