2 #python `dirname $0`/RunToolFromSource.py `basename $0` $*
3 #exec `dirname $0`/../../../../C/bin/`basename $0` $*
5 TOOL_BASENAME
=`basename $0`
7 if [ -n "$WORKSPACE" -a -e $WORKSPACE/Conf
/BaseToolsCBinaries
]
9 exec $WORKSPACE/Conf
/BaseToolsCBinaries
/$TOOL_BASENAME
10 elif [ -n "$WORKSPACE" -a -e $EDK_TOOLS_PATH/Source
/C
]
12 if [ ! -e $EDK_TOOLS_PATH/Source
/C
/bin
/$TOOL_BASENAME ]
14 echo BaseTools C Tool binary was not found \
($TOOL_BASENAME\
)
15 echo You may need to run
:
16 echo " make -C $EDK_TOOLS_PATH/Source/C"
18 exec $EDK_TOOLS_PATH/Source
/C
/bin
/$TOOL_BASENAME $
*
20 elif [ -e `dirname $0`/..
/..
/Source
/C
/bin
/$TOOL_BASENAME ]
22 exec `dirname $0`/..
/..
/Source
/C
/bin
/$TOOL_BASENAME $
*
24 echo Unable to
find the real
\'$TOOL_BASENAME\' to run
25 echo This message was printed by