diff options
| author | Thaddeus Crews <repiteo@outlook.com> | 2024-03-10 12:09:48 -0500 |
|---|---|---|
| committer | Thaddeus Crews <repiteo@outlook.com> | 2024-03-10 12:57:57 -0500 |
| commit | fb299d0fb134c603eafe7737bab8d22ec0b1cd59 (patch) | |
| tree | 7f8bfac3259a5c6f55d09c5e041357e98b3c7fe9 /misc/scripts/check_ci_log.py | |
| parent | 0ace0a129284ffc6646b199699c1607a316fcec0 (diff) | |
| download | redot-engine-fb299d0fb134c603eafe7737bab8d22ec0b1cd59.tar.gz | |
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 |