diff options
| -rwxr-xr-x | bin/taler-deployment | 8 |
1 files changed, 7 insertions, 1 deletions
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() |