From 727fa86088104d001ae044c51b96042d76ec1344 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 23 Sep 2021 12:12:06 +0200
Subject: [PATCH] autopilot: support additional repo directories

-a <repo-dir> appends repo-dir to REPOSITORIES in build.conf
---
 tool/autopilot | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/tool/autopilot b/tool/autopilot
index 8200eb2c2d..e90c60776a 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -51,6 +51,7 @@ proc help { } {
 		                   [-r <run-script> ...]
 		                   [-d <test-dir>] [-j <make-jobs>]
 		                   [-i <info-file-name>]
+		                   [-a <repo-dir> ...]
 		                   [--help] [--cleanup] [--force] [--keep]
 		                   [--stdout] [--skip-clean-rules]
 		                   [--enable-ccache]
@@ -62,6 +63,7 @@ proc help { } {
 		  -k <kernel>         kernel to use on all platforms configured via -p
 		  -r <run-script>     run scenario to test on all configured targets resp.
 		                      platform-kernel pairs
+		  -a <repo-dir>       add repo-dir to REPOSITORIES in build.conf
 
 		  --cleanup           remove test directory at exit
 		  --enable-ccache     use ccache instead of plain gcc
@@ -362,6 +364,14 @@ proc append_run_opt { build_conf } {
 }
 
 
+proc append_repos { build_conf } {
+	foreach_cmdline_arg a {
+		global build_conf
+		exec echo "REPOSITORIES += $a" >> $build_conf
+	}
+}
+
+
 # create build directories
 foreach arch $architectures {
 
@@ -386,6 +396,9 @@ foreach arch $architectures {
 	# enable all repositories
 	exec sed -i "/^#REPOSITORIES/s/^#//" $build_conf
 
+	# optionally add repositories
+	append_repos $build_conf
+
 	# enable parallel build
 	exec echo "MAKE += -j$make_jobs" >> $build_conf