diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-10 21:13:18 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-10 21:13:18 +0100 |
commit | 53701a02341eef7ec3ebca69b673d31d58760e45 (patch) | |
tree | 0a8f0d6c04955b6d66c088d4a501075bd8bfd385 /misc/scripts/check_ci_log.py | |
parent | af527e53c450eb957bfa6a5446a095b190ebcae9 (diff) | |
parent | fb299d0fb134c603eafe7737bab8d22ec0b1cd59 (diff) | |
download | redot-engine-53701a02341eef7ec3ebca69b673d31d58760e45.tar.gz |
Merge pull request #89361 from Repiteo/scons/with-statement
SCons: Ensure `with` statement where applicable
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..d979d373de 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") 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 |