summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--servant.py14
1 files changed, 10 insertions, 4 deletions
diff --git a/servant.py b/servant.py
index 33c0d904..efbe8a0f 100644
--- a/servant.py
+++ b/servant.py
@@ -5,10 +5,16 @@ import zipfile
from nose import core as nose_core
if sys.argv[1] == "remove_extension":
- try:
- os.remove("coverage/tracer.so")
- except OSError:
- pass
+ so_names = """
+ tracer.so
+ tracer.cpython-32m.so
+ """.split()
+
+ for filename in so_names:
+ try:
+ os.remove(os.path.join("coverage", filename))
+ except OSError:
+ pass
elif sys.argv[1] == "test_with_tracer":
os.environ["COVERAGE_TEST_TRACER"] = sys.argv[2]