diff options
| -rwxr-xr-x | selftest/selftest.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/selftest/selftest.py b/selftest/selftest.py index 26c409af45..1b2044134c 100755 --- a/selftest/selftest.py +++ b/selftest/selftest.py @@ -538,12 +538,10 @@ else: if opts.resetup_environment: env_manager.teardown_env(envname) + env_manager.teardown_all() sys.stdout.write("\n") -if not opts.list: - env_manager.teardown_all() - # if there were any valgrind failures, show them for fn in os.listdir(prefix): if fn.startswith("valgrind.log"): |