From d6575882cf5d35543ab5934ea7e0e776762bcd4a Mon Sep 17 00:00:00 2001 From: Jef Roosens Date: Thu, 27 Jan 2022 20:18:41 +0100 Subject: [PATCH] Clone instead of curl --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f1c0cc63..b51ec350 100644 --- a/Makefile +++ b/Makefile @@ -71,7 +71,8 @@ vet: .PHONY: v v: v-$(V_RELEASE)/v v-$(V_RELEASE)/v: - curl -Lo - 'https://github.com/vlang/v/archive/refs/tags/$(V_RELEASE).tar.gz' | tar xzf - + git clone --depth 1 --single-branch --branch '$(V_RELEASE)' https://github.com/vlang/v 'v-$(V_RELEASE)' + # curl -Lo - 'https://github.com/vlang/v/archive/refs/tags/$(V_RELEASE).tar.gz' | tar xzf - cd patches && sh patch.sh '../v-$(V_RELEASE)' cd 'v-$(V_RELEASE)' && make