make.bat: fix --local mode (#7255)

pull/7274/head
yuyi 2020-12-12 01:24:57 +08:00 committed by GitHub
parent 597c2249e0
commit 22cbfdf0ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -136,10 +136,10 @@ if %ERRORLEVEL% NEQ 0 echo Invalid subcommand: !subcmd!
exit /b %ERRORLEVEL% exit /b %ERRORLEVEL%
:build :build
call :download_tcc
if %ERRORLEVEL% NEQ 0 goto :error
del "!log_file!">NUL 2>&1
if !flag_local! NEQ 1 ( if !flag_local! NEQ 1 (
call :download_tcc
if %ERRORLEVEL% NEQ 0 goto :error
del "!log_file!">NUL 2>&1
pushd "%vc_dir%" 2>NUL && ( pushd "%vc_dir%" 2>NUL && (
echo Updating vc... echo Updating vc...
echo ^> Sync with remote !vc_url! echo ^> Sync with remote !vc_url!