diff options
Diffstat (limited to 'vcbuild.bat')
| -rw-r--r-- | vcbuild.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vcbuild.bat b/vcbuild.bat index 215d0f4454..aa96555e88 100644 --- a/vcbuild.bat +++ b/vcbuild.bat @@ -446,8 +446,8 @@ if errorlevel 1 goto exit :install-doctools -REM only install if building doc OR testing doctool -if not defined doc ( +REM only install if building doc OR testing doctool OR building addons +if not defined doc if not defined build_addons ( echo.%test_args% | findstr doctool 1>nul if errorlevel 1 goto :skip-install-doctools ) |