commit 5bf2ce9b0a7c7df64b27babc897f32b8112337cf
parent f20cbda7b3136120c3877bdc20322b33ecc2235d
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Wed, 27 Nov 2019 11:45:26 +0100
syntax
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/taler-deployment b/bin/taler-deployment
@@ -117,7 +117,7 @@ def update_checkout(r: Repo, p: Path):
def default_configure(*extra):
pfx = Path.home() / "local"
extra_list = list(extra)
- if int(os.environ.get("TALER_COVERAGE"))
+ if int(os.environ.get("TALER_COVERAGE")):
extra_list.append("--enable-coverage")
subprocess.run(
["./configure", f"--prefix={pfx.as_posix()}"] + extra_list, check=True