ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

prepare_port: log download errors explicitly

This commit is contained in:
Christian Helmuth 2014-11-20 17:06:41 +01:00
parent c3ce1887a2
commit 1a718a7770
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tool/ports/mk/install.mk
View File

@ -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) || \