From 1a718a7770eb42e0d659158232cf105007f6f219 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 20 Nov 2014 17:06:41 +0100
Subject: [PATCH] prepare_port: log download errors explicitly

---
 tool/ports/mk/install.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tool/ports/mk/install.mk b/tool/ports/mk/install.mk
index 500d4fc7e..2206f9fdb 100644
--- a/tool/ports/mk/install.mk
+++ b/tool/ports/mk/install.mk
@@ -191,7 +191,8 @@ _file_name = $(call _prefer,$(NAME($1)),$(notdir $(URL($1))))
 		($(ECHO) "Error: Undefined URL for $(call _file_name,$*)"; false);
 	$(VERBOSE)name=$(call _file_name,$*);\
 		(test -f $$name || $(MSG_DOWNLOAD)$(URL($*))); \
-		(test -f $$name || wget --quiet $(URL($*)) -O $$name);
+		(test -f $$name || wget --quiet $(URL($*)) -O $$name) || \
+			($(ECHO) Error: Download for $* failed; false)
 	$(VERBOSE)\
 		($(ECHO) "$(SHA($*))  $(call _file_name,$*)" |\
 		$(HASHSUM) -c > /dev/null 2> /dev/null) || \