Do full clone for mingw

SF's git server seems to be incapable of bandwidth saving single-commit clones.
2023-06-02 17:42:44 +02:00 · 2023-06-02 17:42:44 +02:00 · a197b3f9ca
parent 915d6e0afa
commit a197b3f9ca
1 changed files with 2 additions and 1 deletions
--- 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