diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/boost/build_boost.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/boost/build_boost.bat b/tools/boost/build_boost.bat index 83c3d200c9..c7c416bc2a 100644 --- a/tools/boost/build_boost.bat +++ b/tools/boost/build_boost.bat @@ -4,6 +4,8 @@ set p2=%2 if "%p1%" == "" (echo "please specify target platform by adding '86' or '64' parameter to command line!'"&&pause&&goto :EOF) if "%p2%" == "" (echo "please specify target msvc compiler by adding '14.1' for MSVC2017 to command line!'"&&pause&&goto :EOF) +rd /Q /S bin.v2 + call bootstrap.bat if "%p2%" == "14.1" ( |