1534b6228b
Use the new edk2-basetools pip module. Includes a helpful message in setup to let users know which has been selected. Cc: Bob Feng <bob.c.feng@intel.com> Cc: Liming Gao <gaoliming@byosoft.com.cn> Cc: Yuwei Chen <yuwei.chen@intel.com> Reviewed-by: Bob Feng <bob.c.feng@intel.com> Reviewed-by: Yuwei <Chen<yuwei.chen@intel.com> Signed-off-by: Matthew Carlson <matthewfcarlson@gmail.com>
30 lines
848 B
Bash
Executable File
30 lines
848 B
Bash
Executable File
#!/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
|
|
|