From e2af26a752e83cb5700e4a801890fa177ce66e19 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 2 May 2021 14:22:32 +0200
Subject: no --enable-coverage for wallet-core, ever

---
 bin/taler-deployment | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/bin/taler-deployment b/bin/taler-deployment
index 4b6805d..196c9da 100755
--- a/bin/taler-deployment
+++ b/bin/taler-deployment
@@ -136,6 +136,12 @@ def default_configure(*extra):
         extra_list.append("--enable-coverage")
     subprocess.run(["./configure", f"--prefix={pfx}"] + extra_list, check=True)
 
+def default_configure_nc(*extra):
+    """Variant of default_configure() that does NEVER add --enable-coverage"""
+    pfx = Path.home() / "local"
+    extra_list = list(extra)
+    subprocess.run(["./configure", f"--prefix={pfx}"] + extra_list, check=True)
+
 
 def pyconfigure(*extra):
     """For python programs, --prefix doesn't work."""
@@ -182,7 +188,7 @@ def build_exchange(r: Repo, p: Path):
 def build_wallet(r, p):
     update_checkout(r, p)
     subprocess.run(["./bootstrap"], check=True)
-    default_configure()
+    default_configure_nc()
     subprocess.run(["make", "install"], check=True)
     (p / "taler-buildstamp").touch()
 
-- 
cgit v1.2.3