make.bat: allow customisation of vc_url, using env variable VC_GIT, simillar to TCC_GIT

pull/9153/head
Delyan Angelov 2021-03-06 12:26:04 +02:00
parent 270df58057
commit 747507dd1d
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 3 additions and 1 deletions

View File

@ -23,10 +23,12 @@ REM VC settings
set "vc_url=https://github.com/vlang/vc" set "vc_url=https://github.com/vlang/vc"
set "vc_dir=%~dp0vc" 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_GIT%"] == [""] set "tcc_url=%TCC_GIT%"
if /I not ["%TCC_BRANCH%"] == [""] set "tcc_branch=%TCC_BRANCH%" if /I not ["%TCC_BRANCH%"] == [""] set "tcc_branch=%TCC_BRANCH%"
if /I not ["%VC_GIT%"] == [""] set "vc_url=%VC_GIT%"
pushd %~dp0 pushd %~dp0
:verifyopt :verifyopt