Set the used Visual Studio version to 15 (2017)

diff --git a/env_Salome.bat b/env_Salome.bat
index cdc5d716619042c85b9aed3a59ab6381d717d70a..83c073b3447c49110cfd279a1778daf80708b1a5 100644 (file)
--- a/env_Salome.bat
+++ b/env_Salome.bat
@@ -86,6 +86,7 @@ cd /d %ROOT_DIR%
 
 @SET _NO_DEBUG_HEAP=1
 
+@SET VC_VERSION_SHORT=15
 for /f "tokens=1,2*" %%a in ('reg query "HKLM\SOFTWARE\Wow6432Node\Microsoft\VisualStudio\SxS\VS7" /v "%VC_VERSION_SHORT%.0" 2^>nul') do set "VSPATH=%%c"
 IF NOT EXIST "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" GOTO ERROR1