diff options
Diffstat (limited to 'utils/lit/lit/main.py')
| -rwxr-xr-x | utils/lit/lit/main.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/utils/lit/lit/main.py b/utils/lit/lit/main.py index 689a2d55bcea..10cd7775060f 100755 --- a/utils/lit/lit/main.py +++ b/utils/lit/lit/main.py @@ -161,7 +161,11 @@ def main(builtinParameters = {}): main_with_tmp(builtinParameters) finally: if lit_tmp: - shutil.rmtree(lit_tmp) + try: + shutil.rmtree(lit_tmp) + except: + # FIXME: Re-try after timeout on Windows. + pass def main_with_tmp(builtinParameters): parser = argparse.ArgumentParser() |