From f6d3bcc391b096e85eb7f195231ad9bc5f34883e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 23 Mar 2021 10:05:11 +0100
Subject: [PATCH] add support for filtering to build-all
---
build-all | 23 +++++++++++++----------
1 file changed, 13 insertions(+), 10 deletions(-)
diff --git a/build-all b/build-all
index a96e047cd..eb4f09555 100755
--- a/build-all
+++ b/build-all
@@ -32,14 +32,17 @@ PROJECTS = [
{ 'name': 'tutorial-popl21', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
]
+filter = sys.argv[1] if len(sys.argv) > 1 else ''
for project in PROJECTS:
- print("Triggering build for {}{}...".format(project['name'], '' if project['branch'] == 'master' else ':'+project['branch']))
- id = str(project['id']) if 'id' in project else "iris%2F{}".format(project['name'])
- url = "https://gitlab.mpi-sws.org/api/v4/projects/{}/pipeline".format(id)
- json = {
- 'ref': project['branch'],
- 'variables': list(map(lambda var: { 'key': var, 'value': os.environ.get(var, "master") }, project['vars'])),
- }
- r = requests.post(url, headers={'PRIVATE-TOKEN': GITLAB_TOKEN}, json=json)
- r.raise_for_status()
- print(" Pipeline running at {}".format(r.json()['web_url']))
+ name_branch = project['name'] + ('' if project['branch'] == 'master' else ':'+project['branch'])
+ if filter in name_branch:
+ print("Triggering build for {}...".format(name_branch))
+ id = str(project['id']) if 'id' in project else "iris%2F{}".format(project['name'])
+ url = "https://gitlab.mpi-sws.org/api/v4/projects/{}/pipeline".format(id)
+ json = {
+ 'ref': project['branch'],
+ 'variables': list(map(lambda var: { 'key': var, 'value': os.environ.get(var, "master") }, project['vars'])),
+ }
+ r = requests.post(url, headers={'PRIVATE-TOKEN': GITLAB_TOKEN}, json=json)
+ r.raise_for_status()
+ print(" Pipeline running at {}".format(r.json()['web_url']))
--
GitLab