Marius Vikhammer 11269df516 ci: fix check_public_headers.py failure with python3 due to non ascii chars
check_public_headers.py would fail when reading non-ascii chars on systems where
the default encoding was ascii.

Also fixes error handling issues, as any uncaught exeception would cause the program
to run indefinitely.
2020-06-09 11:01:42 +08:00
..
2020-05-22 19:08:02 +08:00