tests/run-tests.py
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