Clone instead of curl

main
Jef Roosens 2022-01-27 20:18:41 +01:00
parent 1ebba52161
commit d6575882cf
Signed by untrusted user: Jef Roosens
GPG Key ID: 955C0660072F691F
1 changed files with 2 additions and 1 deletions

View File

@ -71,7 +71,8 @@ vet:
.PHONY: v .PHONY: v
v: v-$(V_RELEASE)/v v: v-$(V_RELEASE)/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 patches && sh patch.sh '../v-$(V_RELEASE)'
cd 'v-$(V_RELEASE)' && make cd 'v-$(V_RELEASE)' && make