Home
last modified time | relevance | path

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

/php-src/build/
H A Dshtool293 msgprefix="shtool:$tool"
298 msgprefix="$str_tool"
387 echo "$msgprefix:Error: unknown option: \`$opt_OPT'" 1>&2
394 echo "$msgprefix:Error: missing argument to option \`$opt_PREV'" 1>&2
395 echo "$msgprefix:Hint: run \`$toolcmdhelp -h' or \`man shtool' for details" 1>&2
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
438 echo "$msgprefix:Error: failed to create temporary directory \`$tmpdir'" 1>&2
849 echo "$msgprefix:Warning: source \`$src' is a directory - skipped" 1>&2
957 echo "$msgprefix:Error: directory already exists: $p" 1>&2
[all …]

Completed in 6 milliseconds