RunBinToolFromBuildDir 871 B

1234567891011121314151617181920212223242526272829
  1. #!/usr/bin/env bash
  2. #python `dirname $0`/RunToolFromSource.py `basename $0` $*
  3. #exec `dirname $0`/../../../../C/bin/`basename $0` $*
  4. TOOL_BASENAME=`basename $0`
  5. if [ -n "$WORKSPACE" -a -e $WORKSPACE/Conf/BaseToolsCBinaries ]
  6. then
  7. exec $WORKSPACE/Conf/BaseToolsCBinaries/$TOOL_BASENAME
  8. elif [ -n "$WORKSPACE" -a -e $EDK_TOOLS_PATH/Source/C ]
  9. then
  10. if [ ! -e $EDK_TOOLS_PATH/Source/C/bin/$TOOL_BASENAME ]
  11. then
  12. echo BaseTools C Tool binary was not found \($TOOL_BASENAME\)
  13. echo You may need to run:
  14. echo " make -C $EDK_TOOLS_PATH/Source/C"
  15. else
  16. exec $EDK_TOOLS_PATH/Source/C/bin/$TOOL_BASENAME $*
  17. fi
  18. elif [ -e `dirname $0`/../../Source/C/bin/$TOOL_BASENAME ]
  19. then
  20. exec `dirname $0`/../../Source/C/bin/$TOOL_BASENAME $*
  21. else
  22. echo Unable to find the real \'$TOOL_BASENAME\' to run
  23. echo This message was printed by
  24. echo " $0"
  25. exit -1
  26. fi