mirror of
https://github.com/php/php-src.git
synced 2024-09-21 18:07:23 +00:00
Avoid unnecessary global variable
This commit is contained in:
parent
7cdb232e37
commit
8c9d8c3f66
@ -3042,7 +3042,7 @@ function toolset_setup_project_tools()
|
||||
ERROR('sed is required')
|
||||
}
|
||||
|
||||
RE2C = PATH_PROG('re2c');
|
||||
var RE2C = PATH_PROG('re2c');
|
||||
if (RE2C) {
|
||||
var RE2CVERS = probe_binary(RE2C, "version");
|
||||
STDOUT.WriteLine(' Detected re2c version ' + RE2CVERS);
|
||||
|
Loading…
Reference in New Issue
Block a user