diff options
-rwxr-xr-x | BaseTools/toolsetup.bat | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/BaseTools/toolsetup.bat b/BaseTools/toolsetup.bat index 9521f67c02..22bd0faeb9 100755 --- a/BaseTools/toolsetup.bat +++ b/BaseTools/toolsetup.bat @@ -313,14 +313,16 @@ if not defined PYTHON_COMMAND ( )
)
-if defined PYTHON_HOME (
- if EXIST "%PYTHON_HOME%" (
- set PYTHON_COMMAND=%PYTHON_HOME%\python.exe
- ) else (
- echo .
- echo !!! ERROR !!! PYTHON_HOME="%PYTHON_HOME%" does not exist.
- echo .
- goto end
+if not defined PYTHON_COMMAND (
+ if defined PYTHON_HOME (
+ if EXIST "%PYTHON_HOME%" (
+ set PYTHON_COMMAND=%PYTHON_HOME%\python.exe
+ ) else (
+ echo .
+ echo !!! ERROR !!! PYTHON_HOME="%PYTHON_HOME%" does not exist.
+ echo .
+ goto end
+ )
)
)
@@ -447,5 +449,4 @@ set VS2015= set VSTool=
set PYTHON_VER_MAJOR=
set PYTHON_VER_MINOR=
-set SCRIPT_ERROR=
popd
|