| #!/usr/bin/env bash |
| |
| 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") |
| cmd=${full_cmd##*/} |
| |
| if [ -n "$WORKSPACE" ] && [ -e "$WORKSPACE/Conf/BaseToolsCBinaries" ] |
| then |
| exec "$WORKSPACE/Conf/BaseToolsCBinaries/$cmd" |
| elif [ -n "$WORKSPACE" ] && [ -e "$EDK_TOOLS_PATH/Source/C" ] |
| then |
| if [ ! -e "$EDK_TOOLS_PATH/Source/C/bin/$cmd" ] |
| then |
| echo "BaseTools C Tool binary was not found ($cmd)" |
| echo "You may need to run:" |
| echo " make -C $EDK_TOOLS_PATH/Source/C" |
| else |
| exec "$EDK_TOOLS_PATH/Source/C/bin/$cmd" "$@" |
| fi |
| elif [ -e "$dir/../../Source/C/bin/$cmd" ] |
| then |
| exec "$dir/../../Source/C/bin/$cmd" "$@" |
| else |
| echo "Unable to find the real '$cmd' to run" |
| echo "This message was printed by" |
| echo " $0" |
| exit 127 |
| fi |
| |