diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-11-27 11:45:26 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-11-27 11:45:26 +0100 |
| commit | 5bf2ce9b0a7c7df64b27babc897f32b8112337cf (patch) | |
| tree | 67a9952b5b627064e7e7faff6db22b085f496d55 /bin/taler-deployment | |
| parent | f20cbda7b3136120c3877bdc20322b33ecc2235d (diff) | |
| download | deployment-5bf2ce9b0a7c7df64b27babc897f32b8112337cf.tar.gz deployment-5bf2ce9b0a7c7df64b27babc897f32b8112337cf.tar.bz2 deployment-5bf2ce9b0a7c7df64b27babc897f32b8112337cf.zip | |
syntax
Diffstat (limited to 'bin/taler-deployment')
| -rwxr-xr-x | bin/taler-deployment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/taler-deployment b/bin/taler-deployment index 94790db..abfd698 100755 --- 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 |