Home
last modified time | relevance | path

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

/php-src/scripts/dev/
H A Dgenfiles79 current_re2c_num="$(expr ${1:-0} \* 10000 + ${2:-0} \* 100 + ${3:-0})"
88 if test "$current_re2c_num" -lt "$required_re2c_num"; then

Completed in 6 milliseconds