diff options
Diffstat (limited to 'BaseTools/Bin/CYGWIN_NT-5.1-i686/build')
-rwxr-xr-x | BaseTools/Bin/CYGWIN_NT-5.1-i686/build | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/BaseTools/Bin/CYGWIN_NT-5.1-i686/build b/BaseTools/Bin/CYGWIN_NT-5.1-i686/build index 8532fe510d..1ba451cf5e 100755 --- a/BaseTools/Bin/CYGWIN_NT-5.1-i686/build +++ b/BaseTools/Bin/CYGWIN_NT-5.1-i686/build @@ -1,9 +1,9 @@ #!/usr/bin/env bash #python `dirname $0`/RunToolFromSource.py `basename $0` $* -# If a ${PYTHON} command is available, use it in preference to python -if command -v ${PYTHON} >/dev/null 2>&1; then - python_exe=${PYTHON} +# If a ${PYTHON_COMMAND} command is available, use it in preference to python +if command -v ${PYTHON_COMMAND} >/dev/null 2>&1; then + python_exe=${PYTHON_COMMAND} fi full_cmd=${BASH_SOURCE:-$0} # see http://mywiki.wooledge.org/BashFAQ/028 for a discussion of why $0 is not a good choice here |