commit 2b2ce8b7e067a57c55f0354f827d2d8ae9118496
parent a2c203e825af77cc77d10883d6a5a2aaa7121dd3
Author: Florian Dold <florian@dold.me>
Date: Mon, 24 Jan 2022 23:18:59 +0100
don't build repos with SKIP tag
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/bin/taler-deployment b/bin/taler-deployment
@@ -628,6 +628,9 @@ def build() -> None:
stale = get_stale_repos(env_info.repos)
print(f"found stale repos: {stale}")
for r in stale:
+ tag = getattr(cfg, "tag_" + r.name.replace("-", "_"))
+ if tag == "SKIP":
+ continue
p = Path.home() / "sources" / r.name
os.chdir(str(p))
r.builder(r, p)