From 0cffda3cfe4296a7e3776b772b09fcdf30b3b646 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 17 May 2022 14:28:59 +0200
Subject: [PATCH] tool/depot: pass make flags to dependencies cmd

This patch harmonizes the tool/depot/download with the version of the
Goa tool.
---
 tool/depot/download | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/depot/download b/tool/depot/download
index b584444cc8..7be457d160 100755
--- a/tool/depot/download
+++ b/tool/depot/download
@@ -34,7 +34,7 @@ download:
 	$(VERBOSE)\
 	while true; do \
 		if $(DEPENDENCIES_CMD) > /dev/null 2> /dev/null; then break; fi; \
-		missing_deps=`$(DEPENDENCIES_CMD) 2> /dev/null | sed -n "/^ /s/ *//p"`; \
+		missing_deps=`$(MAKE) -f $(DEPENDENCIES_CMD) 2> /dev/null | sed -n "/^ /s/ *//p"`; \
 		$(DOWNLOAD_CMD) $$missing_deps || break; \
 	done;