tests/run-tests.py
changeset 26087 06cd67a5044f
parent 25730 c380d5273e91
child 26109 bad09bd22b6a
--- a/tests/run-tests.py	Tue Aug 25 13:38:20 2015 -0500
+++ b/tests/run-tests.py	Tue Aug 25 00:40:42 2015 -0400
@@ -2078,7 +2078,11 @@
         vlog("# Running", cmd)
         if os.system(cmd) == 0:
             if not self.options.verbose:
-                os.remove(installerrs)
+                try:
+                    os.remove(installerrs)
+                except OSError as e:
+                    if e.errno != errno.ENOENT:
+                        raise
         else:
             f = open(installerrs, 'rb')
             for line in f: