From 1459085a4dee56e8de3930cbc8039d4c354eb9d0 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 22 Apr 2020 11:25:58 +0200
Subject: [PATCH] mk: prevent duplicates in REPOSITORIES definition

Fixes #3731
---
 tool/builddir/build.mk | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tool/builddir/build.mk b/tool/builddir/build.mk
index 091c297bb..85487aebf 100644
--- a/tool/builddir/build.mk
+++ b/tool/builddir/build.mk
@@ -39,6 +39,15 @@
 ## Define global configuration variables
 ##
 
+#
+# Whenever using the 'run/%' rule and the run tool spawns this Makefile again
+# when encountering a 'build' step, the build.conf is included a second time,
+# with the content taken from the environment variable. We need to reset the
+# 'REPOSITORIES' variable to prevent extending this variable twice.
+# (see https://github.com/genodelabs/genode/issues/3731)
+#
+REPOSITORIES :=
+
 -include etc/build.conf
 
 BUILD_BASE_DIR := $(CURDIR)