Lines Matching refs:tool
120 local tool="${script_dir}/${tool_name}"
121 if [[ -f "${tool}" ]] && [[ -x "${tool}" ]]; then
122 echo "${tool}"
129 tool="${BASH_REMATCH[1]}/src/out/Release/${tool_name}"
130 if [[ -f "${tool}" ]] && [[ -x "${tool}" ]]; then
131 echo "${tool}"
135 tool="${BASH_REMATCH[1]}/src/out/Debug/${tool_name}"
136 if [[ -f "${tool}" ]] && [[ -x "${tool}" ]]; then
137 echo "${tool}"
202 # shell tool that provides direct access to lutimes. Instead, the symbolic
