archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Fix PHP_ADD_EXTENSION_DEP without indentation

Browse source 
Adjust FS in order_by_dep.awk to only each whitespace around (,)
rather than any whitespace. Thus a leading indent does not result
in a separate element.
This commit is contained in:
Nikita Popov 2021-06-10 11:48:25 +02:00
parent 52a72e2ea1
commit be92a87371
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
build/order_by_dep.awk
View file

@ -10,14 +10,14 @@ function get_deps(module_name, module_dir, depline, cmd)
{ {
# this could probably be made *much* better # this could probably be made *much* better
RS=orig_rs; RS=orig_rs;
FS="[(,) \t]+" FS="[ \t]*[(,)][ \t]*"
cmd = "grep PHP_ADD_EXTENSION_DEP " module_dir "/config*.m4" cmd = "grep PHP_ADD_EXTENSION_DEP " module_dir "/config*.m4"
while (cmd | getline) { while (cmd | getline) {
# printf("GOT: %s,%s,%s,%s,%s\n", $1, $2, $3, $4, $5); #printf("GOT: %s,%s,%s,%s\n", $1, $2, $3, $4);
if (!length($5)) { if (!length($4)) {
$5 = 0; $4 = 0;
} }
mod_deps[module_name, $4] = $5; mod_deps[module_name, $3] = $4;
} }
close(cmd) close(cmd)
RS=" "; RS=" ";