diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-11-04 13:17:35 +0100 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2015-08-21 00:13:03 +0200 |
| commit | 823062d6c1df3dfdb370c98164e0b793034e0d23 (patch) | |
| tree | 7bd70914991c33e156476bd3e5f404e548a388e0 /build | |
| parent | 82b73fd1e3c53228bb31b75a446114b5fd0cd240 (diff) | |
| download | php-git-823062d6c1df3dfdb370c98164e0b793034e0d23.tar.gz | |
Fix invalid range error by gawk in order_by_dek.awk
Diffstat (limited to 'build')
| -rw-r--r-- | build/order_by_dep.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/order_by_dep.awk b/build/order_by_dep.awk index 66f59bacd6..281898ecee 100644 --- a/build/order_by_dep.awk +++ b/build/order_by_dep.awk @@ -63,7 +63,7 @@ function count(arr, n, i) return n; } -/^[a-zA-Z0-9_-;]+/ { +/^[a-zA-Z0-9_;-]+/ { split($1, mod, ";"); # mini hack for pedantic awk |