From 443653941d2ce59c98f5897c06f456194b1ead44 Mon Sep 17 00:00:00 2001 From: Mike Sarahan Date: Thu, 24 Oct 2019 19:59:14 -0500 Subject: [PATCH 10/19] Win32: Do not download externals --- PCbuild/build.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PCbuild/build.bat b/PCbuild/build.bat index 88f7fc4..47bd121 100644 --- a/PCbuild/build.bat +++ b/PCbuild/build.bat @@ -88,7 +88,7 @@ if "%IncludeExternals%"=="" set IncludeExternals=true if "%IncludeSSL%"=="" set IncludeSSL=true if "%IncludeTkinter%"=="" set IncludeTkinter=true -if "%IncludeExternals%"=="true" call "%dir%get_externals.bat" +REM if "%IncludeExternals%"=="true" call "%dir%get_externals.bat" if "%do_pgo%" EQU "true" if "%platf%" EQU "x64" ( if "%PROCESSOR_ARCHITEW6432%" NEQ "AMD64" if "%PROCESSOR_ARCHITECTURE%" NEQ "AMD64" ( -- 2.20.1