| #!/usr/bin/env bash | |
| full_cmd=${BASH_SOURCE[-1]:-$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 "$EDK_TOOLS_PATH" ] && [ -e "$EDK_TOOLS_PATH/Source/C/bin" ] | |
| then | |
| if [ -e "$EDK_TOOLS_PATH/Source/C/bin/$cmd" ] | |
| then | |
| 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 |