| #!/usr/bin/env bash |
| #python `dirname $0`/RunToolFromSource.py `basename $0` $* |
| #exec `dirname $0`/../../../../C/bin/`basename $0` $* |
| |
| TOOL_BASENAME=`basename $0` |
| |
| if [ -n "$WORKSPACE" -a -e $WORKSPACE/Conf/BaseToolsCBinaries ] |
| then |
| exec $WORKSPACE/Conf/BaseToolsCBinaries/$TOOL_BASENAME |
| elif [ -n "$WORKSPACE" -a -e $EDK_TOOLS_PATH/Source/C ] |
| then |
| if [ ! -e $EDK_TOOLS_PATH/Source/C/bin/$TOOL_BASENAME ] |
| then |
| echo BaseTools C Tool binary was not found \($TOOL_BASENAME\) |
| echo You may need to run: |
| echo " make -C $EDK_TOOLS_PATH/Source/C" |
| else |
| exec $EDK_TOOLS_PATH/Source/C/bin/$TOOL_BASENAME $* |
| fi |
| elif [ -e `dirname $0`/../../Source/C/bin/$TOOL_BASENAME ] |
| then |
| exec `dirname $0`/../../Source/C/bin/$TOOL_BASENAME $* |
| else |
| echo Unable to find the real \'$TOOL_BASENAME\' to run |
| echo This message was printed by |
| echo " $0" |
| exit -1 |
| fi |
| |