commit a26ea87ddef0018cf98decc227804624d300b992
author Gilles Peskine <Gilles.Peskine@arm.com> Sun Jul 28 13:30:06 2019 +0200
committer Darryl Green <darryl.green@arm.com> Wed Nov 13 14:33:34 2019 +0000
tree e105f63a7d13e783b36b80883b2da28f56581863
parent a47ab228521b7865d7fc313f8c2cdc112f88687a

Fix encoding errors

config.h is encoded in UTF-8.

scripts/config.py

diff --git a/scripts/config.py b/scripts/config.py
index c14d867..67a1f26 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -239,7 +239,7 @@
         super().__init__()
         self.filename = filename
         self.current_section = 'header'
-        with open(filename) as file:
+        with open(filename, 'r', encoding='utf-8') as file:
             self.templates = [self._parse_line(line) for line in file]
         self.current_section = None
 
@@ -307,7 +307,7 @@
         """
         if filename is None:
             filename = self.filename
-        with open(filename, 'w') as output:
+        with open(filename, 'w', encoding='utf-8') as output:
             self.write_to_stream(output)
 
 if __name__ == '__main__':