mirror of
https://github.com/linuxboot/heads.git
synced 2024-12-24 07:06:42 +00:00
do not create empty file if wget fails (issue #422)
This commit is contained in:
parent
9c95b4ed58
commit
29f0f914c5
8
Makefile
8
Makefile
@ -225,8 +225,14 @@ define define_module =
|
|||||||
@touch "$$@"
|
@touch "$$@"
|
||||||
else
|
else
|
||||||
# Fetch and verify the source tar file
|
# Fetch and verify the source tar file
|
||||||
|
# wget creates it early, so we have to cleanup if it fails
|
||||||
$(packages)/$($1_tar):
|
$(packages)/$($1_tar):
|
||||||
wget -O "$$@" $($1_url)
|
$(call do,WGET,$($1_url),\
|
||||||
|
if ! wget -O "$$@" $($1_url) ; then \
|
||||||
|
rm -f "$$@" ; \
|
||||||
|
exit 1 ; \
|
||||||
|
fi \
|
||||||
|
)
|
||||||
$(packages)/.$1-$($1_version)_verify: $(packages)/$($1_tar)
|
$(packages)/.$1-$($1_version)_verify: $(packages)/$($1_tar)
|
||||||
echo "$($1_hash) $$^" | sha256sum --check -
|
echo "$($1_hash) $$^" | sha256sum --check -
|
||||||
@touch "$$@"
|
@touch "$$@"
|
||||||
|
Loading…
Reference in New Issue
Block a user