diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index d19b12c472..65cba0af15 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -527,3 +527,5 @@ contributors: * Eisuke Kawashima (e-kwsm): contributor * Daniel van Noord (DanielNoord): contributor + +* Michal Vasilek: contributor diff --git a/tests/lint/unittest_lint.py b/tests/lint/unittest_lint.py index cd4f5667bb..20c8a75004 100644 --- a/tests/lint/unittest_lint.py +++ b/tests/lint/unittest_lint.py @@ -643,7 +643,7 @@ def test_pylint_home(): assert config.PYLINT_HOME == pylintd finally: try: - os.remove(pylintd) + rmtree(pylintd) except FileNotFoundError: pass finally: