From cb022593fbac3b7f46cad242df25d147a715982b Mon Sep 17 00:00:00 2001
From: Pablo Oliveira <pablo@sifflez.org>
Date: Tue, 20 Sep 2016 08:04:10 +0000
Subject: [PATCH] Desactivate lldb-server fix which breaks libpolly

---
 debian/patches/series | 2 +-
 debian/rules          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/patches/series b/debian/patches/series
index 1c5c100e..aa5b2958 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -35,5 +35,5 @@ disable-source-interleave.diff
 silent-gold-utils.diff
 disable-llvm-symbolizer-test.diff
 kfreebsd-support.diff
-fix-lldb-server-build
+#fix-lldb-server-build
 clang-tidy-run-bin.diff
diff --git a/debian/rules b/debian/rules
index 7962b0d9..ebb88e54 100755
--- a/debian/rules
+++ b/debian/rules
@@ -465,7 +465,7 @@ endif
 
 # LLDB tests (CMake)
 ifeq (,$(filter $(DEB_HOST_ARCH), $(LLDB_DISABLE_ARCHS) armhf armel))
-ifneq (,$(filter codecoverage,$(DEB_BUILD_OPTIONS)))
+ifneq (,$(filter codecoverageDISABLED,$(DEB_BUILD_OPTIONS)))
 	LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(CURDIR)/$(TARGET_BUILD)/lib/ $(MAKE) $(NJOBS) -C $(TARGET_BUILD) check-lldb || true
 endif
 endif