Home
last modified time | relevance | path

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

/PHP-7.2/build/
H A Dshtool314 opt_PREV=''
324 if [ ".$opt_PREV" != . ]; then
326 opt_OPT="$opt_PREV"
329 opt_PREV=''
367 opt_PREV="$opt_OPT"
393 if [ ".$opt_PREV" != . ]; then
394 echo "$msgprefix:Error: missing argument to option \`$opt_PREV'" 1>&2

Completed in 7 milliseconds