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: