diff options
author | Mike Sinkovsky <msink@permonline.ru> | 2017-01-08 14:39:11 +0500 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2017-01-11 12:33:27 -0500 |
commit | 84902cb93a37e7f6a11b902ba64a11cb26ebcbc0 (patch) | |
tree | f49ecd55d5cda677f2e17924ec41214fa12e89eb /run_project_tests.py | |
parent | f9344b03a8dbda44b5a1cae429588f44ddf72f2d (diff) | |
download | meson-84902cb93a37e7f6a11b902ba64a11cb26ebcbc0.zip meson-84902cb93a37e7f6a11b902ba64a11cb26ebcbc0.tar.gz meson-84902cb93a37e7f6a11b902ba64a11cb26ebcbc0.tar.bz2 |
style: [E301] expected 1 blank line, found 0
Diffstat (limited to 'run_project_tests.py')
-rwxr-xr-x | run_project_tests.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/run_project_tests.py b/run_project_tests.py index 2834254..0496d4a 100755 --- a/run_project_tests.py +++ b/run_project_tests.py @@ -46,9 +46,11 @@ class TestResult: class AutoDeletedDir(): def __init__(self, d): self.dir = d + def __enter__(self): os.makedirs(self.dir, exist_ok=True) return self.dir + def __exit__(self, _type, value, traceback): # On Windows, shutil.rmtree fails sometimes, because 'the directory is not empty'. # Retrying fixes this. |