tree 897b454d4554db41a7310a0a7b4d99348bf4e8d6
parent 37b9ee0b5744e030800250a5af96ab8ab04001dd
author Paul Sokolovsky <paul.sokolovsky@linaro.org> 1506890863 +0300
committer Andrew Boie <andrewboie@gmail.com> 1507050461 -0700

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>