From 3c7d8f3a181a7d0da92786a68df5dec75680e088 Mon Sep 17 00:00:00 2001 From: mintty Date: Mon, 2 Dec 2024 00:00:00 +0100 Subject: [PATCH] fix git handling for mintty download --- makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index 541e89b..5ee6b6a 100644 --- a/makefile +++ b/makefile @@ -21,6 +21,8 @@ verx=3.7.6.1 minttyver=3.7.6 +minrepo=git@github.com:mintty/mintty.git + ############################## # wslbridge2 repository @@ -191,7 +193,7 @@ mintty-download: unzip -o mintty-$(minttyver).zip mintty-git: - test -d mintty-$(minttyver) || git clone --depth 111 https://github.com/mintty/mintty.git mintty-$(minttyver) + test -d mintty-$(minttyver) || git clone --branch $(minttyver) --depth 1 $(minrepo) mintty-$(minttyver) cd mintty-$(minttyver); git checkout $(minttyver) wslbuild=LDFLAGS="-static -static-libgcc -s"