actions DownloadLocatedFile: fail, if wget fails

This commit is contained in:
Ingo Weinhold 2013-08-28 01:07:17 +02:00
parent 106d4015f2
commit 86297ca0ff

View File

@ -425,7 +425,7 @@ rule DownloadLocatedFile target : url : source
actions DownloadLocatedFile1
{
source="$(2)"
wget -O "$(1)" $(URL)
wget -O "$(1)" $(URL) || exit 1
touch "$(1)"
}