From a197b3f9ca8e3f03d36e6843fd125e4b0e303aeb Mon Sep 17 00:00:00 2001
From: BtbN <btbn@btbn.de>
Date: Fri, 2 Jun 2023 17:42:44 +0200
Subject: [PATCH] Do full clone for mingw

SF's git server seems to be incapable of bandwidth saving single-commit
clones.
---
 scripts.d/10-mingw.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts.d/10-mingw.sh b/scripts.d/10-mingw.sh
index dfa9a1c..294ea9a 100755
--- a/scripts.d/10-mingw.sh
+++ b/scripts.d/10-mingw.sh
@@ -18,8 +18,9 @@ ffbuild_dockerfinal() {
 }
 
 ffbuild_dockerbuild() {
-    git-mini-clone "$SCRIPT_REPO" "$SCRIPT_COMMIT" mingw
+    retry-tool sh -c "rm -rf mingw && git clone '$SCRIPT_REPO' mingw"
     cd mingw
+    git checkout "$SCRIPT_COMMIT"
 
     cd mingw-w64-headers