| 1 | #!/usr/bin/env bash
|
|---|
| 2 |
|
|---|
| 3 | full_cmd=${BASH_SOURCE:-$0} # see http://mywiki.wooledge.org/BashFAQ/028 for a discussion of why $0 is not a good choice here
|
|---|
| 4 | dir=$(dirname "$full_cmd")
|
|---|
| 5 | cmd=${full_cmd##*/}
|
|---|
| 6 |
|
|---|
| 7 | if [ -n "$WORKSPACE" ] && [ -e "$WORKSPACE/Conf/BaseToolsCBinaries" ]
|
|---|
| 8 | then
|
|---|
| 9 | exec "$WORKSPACE/Conf/BaseToolsCBinaries/$cmd"
|
|---|
| 10 | elif [ -n "$WORKSPACE" ] && [ -e "$EDK_TOOLS_PATH/Source/C" ]
|
|---|
| 11 | then
|
|---|
| 12 | if [ ! -e "$EDK_TOOLS_PATH/Source/C/bin/$cmd" ]
|
|---|
| 13 | then
|
|---|
| 14 | echo "BaseTools C Tool binary was not found ($cmd)"
|
|---|
| 15 | echo "You may need to run:"
|
|---|
| 16 | echo " make -C $EDK_TOOLS_PATH/Source/C"
|
|---|
| 17 | else
|
|---|
| 18 | exec "$EDK_TOOLS_PATH/Source/C/bin/$cmd" "$@"
|
|---|
| 19 | fi
|
|---|
| 20 | elif [ -e "$dir/../../Source/C/bin/$cmd" ]
|
|---|
| 21 | then
|
|---|
| 22 | exec "$dir/../../Source/C/bin/$cmd" "$@"
|
|---|
| 23 | else
|
|---|
| 24 | echo "Unable to find the real '$cmd' to run"
|
|---|
| 25 | echo "This message was printed by"
|
|---|
| 26 | echo " $0"
|
|---|
| 27 | exit 127
|
|---|
| 28 | fi
|
|---|
| 29 |
|
|---|
