From da673cfad70fee19a1b646340f85b9c78aca1ab7 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 23 Jan 2023 09:01:29 +0100
Subject: [PATCH] tool/depot: replace wget by curl to support file:// URLs

File-scheme URLs permit users to host downloadable archives (which may
be sync'd by other means beforehand) on the local file system.

Fixes #4737
---
 tool/depot/mk/downloader | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/depot/mk/downloader b/tool/depot/mk/downloader
index 19bcbdd924..5051c5e903 100755
--- a/tool/depot/mk/downloader
+++ b/tool/depot/mk/downloader
@@ -110,7 +110,7 @@ file_url = '${URL($(call archive_user,$1))}/$1'
 $(PUBLIC_DIR)/%:
 	@$(ECHO) "$(DARK_COL)download$(DEFAULT_COL) $*"
 	$(VERBOSE)mkdir -p $(dir $@)
-	$(VERBOSE)wget --quiet --no-check-certificate $(call file_url,$*) -O $@ ||\
+	$(VERBOSE)curl --silent $(call file_url,$*) -o $@ ||\
 		(echo "Error: failed to download $(call file_url,$*)"; rm -f $@; false)
 
 $(MAKECMDGOALS): $(TARGETS)