Home
last modified time | relevance | path

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

/PHP-7.2/build/
H A Dshtool291 toolcmd="$0 $tool"
296 toolcmd="$0"
410 echo "$msgprefix:Hint: run \`$toolcmd -h' or \`man shtool' for details" 1>&2
417 echo "$msgprefix:Hint: run \`$toolcmd -h' or \`man shtool' for details" 1>&2

Completed in 5 milliseconds