diff options
author | Luca Boccassi <luca.boccassi@gmail.com> | 2017-08-16 18:42:05 +0100 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-08-16 18:46:04 +0100 |
commit | f239aed5e674965691846e8ce3f187dd47523689 (patch) | |
tree | a153a3125c6e183c73871a8ecaa4b285fed5fbd5 /devtools/check-maintainers.sh | |
parent | bf7567fd2a5b0b28ab724046143c24561d38d015 (diff) |
New upstream version 17.08
Change-Id: I288b50990f52646089d6b1f3aaa6ba2f091a51d7
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> ...] { |