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