Lines Matching full:tool
63 local tool="${script_dir}/${tool_name}"
64 if [[ -f "${tool}" ]] && [[ -x "${tool}" ]]; then
65 echo "${tool}"
72 tool="${BASH_REMATCH[1]}/src/out/Release/${tool_name}"
73 if [[ -f "${tool}" ]] && [[ -x "${tool}" ]]; then
74 echo "${tool}"
78 tool="${BASH_REMATCH[1]}/src/out/Debug/${tool_name}"
79 if [[ -f "${tool}" ]] && [[ -x "${tool}" ]]; then
80 echo "${tool}"
138 # shell tool that provides direct access to lutimes. Instead, the symbolic
