From 747507dd1de33bb9912e1cf8da77a0d146719810 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Sat, 6 Mar 2021 12:26:04 +0200 Subject: [PATCH] make.bat: allow customisation of vc_url, using env variable VC_GIT, simillar to TCC_GIT --- make.bat | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/make.bat b/make.bat index eeee29fde1..9255f3ad68 100644 --- a/make.bat +++ b/make.bat @@ -23,10 +23,12 @@ REM VC settings set "vc_url=https://github.com/vlang/vc" set "vc_dir=%~dp0vc" -REM Let a particular environment specify their own TCC repo +REM Let a particular environment specify their own TCC and VC repos (to help mirrors) if /I not ["%TCC_GIT%"] == [""] set "tcc_url=%TCC_GIT%" if /I not ["%TCC_BRANCH%"] == [""] set "tcc_branch=%TCC_BRANCH%" +if /I not ["%VC_GIT%"] == [""] set "vc_url=%VC_GIT%" + pushd %~dp0 :verifyopt