diff options
Diffstat (limited to 'misc/scripts/check_ci_log.py')
| -rwxr-xr-x | misc/scripts/check_ci_log.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/scripts/check_ci_log.py b/misc/scripts/check_ci_log.py index d979d373de..d024a3e375 100755 --- a/misc/scripts/check_ci_log.py +++ b/misc/scripts/check_ci_log.py @@ -9,7 +9,7 @@ if len(sys.argv) < 2: fname = sys.argv[1] -with open(fname.strip(), "r") as fileread: +with open(fname.strip(), "r", encoding="utf-8") as fileread: file_contents = fileread.read() # If find "ERROR: AddressSanitizer:", then happens invalid read or write |