diff options
author | Jussi Pakkanen <jpakkane@gmail.com> | 2017-01-02 19:32:23 +0200 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2017-01-02 17:17:40 -0500 |
commit | dc70916ca4cf35cfd2ef5f57b10a629a73fc3554 (patch) | |
tree | 502d9fd02f283184ec5ac7160b5126b8be2b519f | |
parent | e245bdbdc0d524b0a004261e96dddae786cb0e0e (diff) | |
download | meson-dc70916ca4cf35cfd2ef5f57b10a629a73fc3554.zip meson-dc70916ca4cf35cfd2ef5f57b10a629a73fc3554.tar.gz meson-dc70916ca4cf35cfd2ef5f57b10a629a73fc3554.tar.bz2 |
Catch permissionerrors too, since Windows seems to produce them occasionally.
-rwxr-xr-x | run_project_tests.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/run_project_tests.py b/run_project_tests.py index 07e7ddb..e91fbb7 100755 --- a/run_project_tests.py +++ b/run_project_tests.py @@ -58,9 +58,10 @@ class AutoDeletedDir(): try: shutil.rmtree(self.dir) return - except OSError: + except (OSError, PermissionError): if i == retries - 1: - raise + mlog.warning('Could not delete temporary directory.') + return time.sleep(0.1 * (2**i)) failing_logs = [] |