changeset 35488 | 4f5596e5e311 |
parent 35450 | e31773898197 |
child 35489 | 212a6e9aecb0 |
--- a/tests/run-tests.py Fri Dec 22 13:13:45 2017 -0600 +++ b/tests/run-tests.py Fri Dec 22 12:22:43 2017 -0700 @@ -2404,11 +2404,6 @@ print("error: temp dir %r already exists" % tmpdir) return 1 - # Automatically removing tmpdir sounds convenient, but could - # really annoy anyone in the habit of using "--tmpdir=/tmp" - # or "--tmpdir=$HOME". - #vlog("# Removing temp dir", tmpdir) - #shutil.rmtree(tmpdir) os.makedirs(tmpdir) else: d = None