diff options
Diffstat (limited to 'misc/scripts/copyright_headers.py')
| -rwxr-xr-x | misc/scripts/copyright_headers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/scripts/copyright_headers.py b/misc/scripts/copyright_headers.py index 82a4477cc0..169795921f 100755 --- a/misc/scripts/copyright_headers.py +++ b/misc/scripts/copyright_headers.py @@ -69,7 +69,7 @@ for f in sys.argv[1:]: # In a second pass, we skip all consecutive comment lines starting with "/*", # then we can append the rest (step 2). - with open(fname.strip(), "r") as fileread: + with open(fname.strip(), "r", encoding="utf-8") as fileread: line = fileread.readline() header_done = False |