From 18368be9f8ce3c8001aa9c50749f2976d787e97a Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sat, 21 Jan 2017 09:47:06 +0000
Subject: [PATCH] remove the workaround

---
 debian/rules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/rules b/debian/rules
index f83cc5a7..531b1af5 100755
--- a/debian/rules
+++ b/debian/rules
@@ -497,6 +497,8 @@ ifneq (,$(filter codecoverage,$(DEB_BUILD_OPTIONS)))
 			ln -s lldb/_lldb.so; \
 		fi
 	LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(CURDIR)/$(TARGET_BUILD)/lib/ $(MAKE) $(NJOBS) -C $(TARGET_BUILD) check-lldb || true
+	# remove the workaround
+	rm $(CURDIR)/$(TARGET_BUILD)/lib/python*/site-packages/_lldb.so
 endif
 endif