diff options
Diffstat (limited to 'roms/edk2/BaseTools/Bin/CYGWIN_NT-5.1-i686/Trim')
-rwxr-xr-x | roms/edk2/BaseTools/Bin/CYGWIN_NT-5.1-i686/Trim | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/roms/edk2/BaseTools/Bin/CYGWIN_NT-5.1-i686/Trim b/roms/edk2/BaseTools/Bin/CYGWIN_NT-5.1-i686/Trim new file mode 100755 index 000000000..b53b79bba --- /dev/null +++ b/roms/edk2/BaseTools/Bin/CYGWIN_NT-5.1-i686/Trim @@ -0,0 +1,14 @@ +#!/usr/bin/env bash +#python `dirname $0`/RunToolFromSource.py `basename $0` $* + +# 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 +dir=$(dirname "$full_cmd") +exe=$(basename "$full_cmd") + +export PYTHONPATH="$dir/../../Source/Python" +exec "${python_exe:-python}" "$dir/../../Source/Python/$exe/$exe.py" "$@" |