From cf11af4b14be820184d5a36844ceae50a0e89ebe Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 28 May 2021 10:20:59 +0200
Subject: [PATCH] fix IRIS/STDPP handling in build-all
---
build-all | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/build-all b/build-all
index 696806ad1..23807e55f 100755
--- a/build-all
+++ b/build-all
@@ -11,14 +11,13 @@ import requests
# Pre-processing: we support setting `PROJECT` to `user:branch` (GitLab MR syntax),
# which will set `PROJECT_REPO` and `PROJECT_REV` automatically.
-def preprocess_repo_rev(project):
- var = project.upper()
+def preprocess_repo_rev(var, project):
if var in os.environ:
(repo, rev) = os.environ[var].split(':')
os.environ[var+"_REPO"] = repo + "/" + project
os.environ[var+"_REV"] = rev
-preprocess_repo_rev('STDPP')
-preprocess_repo_rev('IRIS')
+preprocess_repo_rev('STDPP', 'stdpp')
+preprocess_repo_rev('IRIS', 'iris')
# Check if everything is set
if not "GITLAB_TOKEN" in os.environ:
--
GitLab