ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-22 12:06:00 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

prepare_port: cache handling for files with paths

Browse Source 
This patch is a follow-up fix for issue #4028 that fixes #4061.
This commit is contained in:
Tomasz Gajewski 2021-03-30 21:53:13 +02:00 committed by Norman Feske
parent f89414c637
commit 0a849a1681
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -204,7 +204,7 @@ _file_name = $(call _prefer,$(NAME($1)),$(notdir $(URL($1))))
$(VERBOSE)test -n "$(URL($*))" ||\
($(ECHO) "Error: Undefined URL for $(call _file_name,$*)"; false);
$(VERBOSE)mkdir -p $(dir $(call _file_name,$*))
$(VERBOSE)name=$(call _file_name,$*); cached_name=$(GENODE_CONTRIB_CACHE)/$(SHA($*))_$$name; \
$(VERBOSE)name=$(call _file_name,$*); cached_name=$(GENODE_CONTRIB_CACHE)/$(SHA($*))_`basename $$name`; \
(test -f $$name || ! test -f $$cached_name || cp $$cached_name $$name); \
(test -f $$name || $(MSG_DOWNLOAD)$(URL($*))); \
(test -f $$name || wget --quiet --no-check-certificate $(URL($*)) -O $$name) || \
@ -213,7 +213,7 @@ _file_name = $(call _prefer,$(NAME($1)),$(notdir $(URL($1))))
($(ECHO) "$(SHA($*)) $(call _file_name,$*)" |\
sha256sum -c > /dev/null 2> /dev/null) || \
($(ECHO) Error: Hash sum check for $* failed; false)
$(VERBOSE)name=$(call _file_name,$*); cached_name=$(GENODE_CONTRIB_CACHE)/$(SHA($*))_$$name; \
$(VERBOSE)name=$(call _file_name,$*); cached_name=$(GENODE_CONTRIB_CACHE)/$(SHA($*))_`basename $$name`; \
mkdir -p $(GENODE_CONTRIB_CACHE); \
(test -f $$cached_name || (cp $$name $$cached_name.tmp && mv $$cached_name.tmp $$cached_name))