]>
Commit | Line | Data |
---|---|---|
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 |