devtools: speed up maintainers check
authorThomas Monjalon <thomas@monjalon.net>
Sat, 15 Jul 2017 09:49:48 +0000 (11:49 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 3 Aug 2017 10:40:35 +0000 (12:40 +0200)
commit7605d9b8f77b0d4ef456037665d29e75d84187f0
treed9b62a202ac5975e6b4fc6b29a228748da621243
parentf3cb39e882deea117249f2f92eb1b0f22578f0af
devtools: speed up maintainers check

There is a huge speed improvement when forcing Unicode to be disabled
in this script.
In my test, it is improved from 13s to 6s.

Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
devtools/check-maintainers.sh