# HG changeset patch # User Thomas Arendsen Hein # Date 1204844473 -3600 # Node ID 4e8cd15240bf8d8f179cc4e7ebe25cb4d94644e1 # Parent c88b9e59758878d2c9d2064c01c72a45be304dca Replaced tab in run-tests.py diff -r c88b9e597588 -r 4e8cd15240bf tests/run-tests.py --- a/tests/run-tests.py Wed Mar 05 08:00:05 2008 +0100 +++ b/tests/run-tests.py Fri Mar 07 00:01:13 2008 +0100 @@ -402,7 +402,7 @@ os.chdir(TESTDIR) if not options.keep_tmpdir: - shutil.rmtree(tmpd, True) + shutil.rmtree(tmpd, True) if skipped: return None return ret == 0