1234567891011121314151617181920212223242526272829 |
- #!/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
|