commit | 94620bdb0b03c3bf352c1a22fa85249c0fb49136 | [log] [tgz] |
---|---|---|
author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | Sun Oct 01 23:47:43 2017 +0300 |
committer | Andrew Boie <andrewboie@gmail.com> | Tue Oct 03 10:07:41 2017 -0700 |
tree | 897b454d4554db41a7310a0a7b4d99348bf4e8d6 | |
parent | 37b9ee0b5744e030800250a5af96ab8ab04001dd [diff] |
scripts: gen_syscalls: Use explicit encoding when reading headers In Python, if open() doesn't specify "encoding" parameter, locale.getpreferredencoding(False) will be used as the default, as explained in https://docs.python.org/3/library/functions.html#open , which may differ from system to system. So, explicitly specify "encoding" param in open() call. Also, fix a typo in a comment. Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org>