From 3f1242f6fb40754eeedb2a151d068d8f3432f7ec Mon Sep 17 00:00:00 2001
From: Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>
Date: Mon, 25 Mar 2024 16:33:58 +0100
Subject: [PATCH] Implement a build_stage_repository wrapper

This wraps the logic that is currently in jenkins-jobs. It uses the fact
the repository list is already in the settings and then iterates over
it.
---
 build_stage_repositories | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 build_stage_repositories

diff --git a/build_stage_repositories b/build_stage_repositories
new file mode 100644
index 0000000..023ead0
--- /dev/null
+++ b/build_stage_repositories
@@ -0,0 +1,7 @@
+#!/bin/bash -e
+
+. settings
+
+for OS in $OSES ; do
+	./build_stage_repository "$PROJECT" "$VERSION" "$OS"
+done