Searched refs:TMP_STR (Results 1 – 1 of 1) sorted by relevance
65 TMP_STR=`echo $1 | sed 's/^\-\-tool=//'`66 if [ "$TMP_STR" != "$1" ]; then67 TOOL_NAME="$TMP_STR"