Home
last modified time | relevance | path

Searched refs:toolcmdhelp (Results 1 – 1 of 1) sorted by relevance

/php-src/build/
H A Dshtool292 toolcmdhelp="shtool $tool"
297 toolcmdhelp="sh $0"
388 echo "$msgprefix:Hint: run \`$toolcmdhelp -h' or \`man shtool' for details" 1>&2
395 echo "$msgprefix:Hint: run \`$toolcmdhelp -h' or \`man shtool' for details" 1>&2
401 echo "Usage: $toolcmdhelp $str_usage"

Completed in 6 milliseconds