Searched refs:TOOL (Results 1 – 3 of 3) sorted by relevance
17 for TOOL in "$@"; do18 if ! `hash "$TOOL" >/dev/null 2>&1`; then19 echo "$TOOL not found!" >&2
96 for TOOL in "$@"; do97 if ! `hash "$TOOL" >/dev/null 2>&1`; then98 err_msg "$TOOL not found!"
9 TOOL=`which "$1" || echo none`11 if [ "$TOOL" = "none" ]; then
