diff options
author | Luca Boccassi <luca.boccassi@gmail.com> | 2017-08-23 14:47:51 +0100 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-08-23 14:48:05 +0100 |
commit | 41921c54b898292b0140d5f322cc8ec5b0642a7e (patch) | |
tree | 70c62f3b26536abf0fa4b347300c78360d4ff546 /devtools/check-maintainers.sh | |
parent | 76f89ef557ff345dfa606e797e1765404babce56 (diff) | |
parent | f239aed5e674965691846e8ce3f187dd47523689 (diff) |
Merge branch 'upstream' into HEAD
Change-Id: Ib9772cbbc33c14a44bd918056b22602ff6891a18
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'devtools/check-maintainers.sh')
-rwxr-xr-x | devtools/check-maintainers.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devtools/check-maintainers.sh b/devtools/check-maintainers.sh index 69c879a8..ac5326b8 100755 --- a/devtools/check-maintainers.sh +++ b/devtools/check-maintainers.sh @@ -34,6 +34,9 @@ cd $(dirname $0)/.. +# speed up by ignoring Unicode details +export LC_ALL=C + # Get files matching paths with wildcards and / meaning recursing files () # <path> [<path> ...] { |