1
2
3
4
5
6
7
8
9
10
11
12
| #!/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
| cmd=${full_cmd##*/}
|
| exec "${python_exe:-python}" -m edk2basetools.$cmd.EccMain "$@"
|
|
