From 86297ca0ffd327e9c0e4950b868ebc674f410734 Mon Sep 17 00:00:00 2001
From: Ingo Weinhold <ingo_weinhold@gmx.de>
Date: Wed, 28 Aug 2013 01:07:17 +0200
Subject: [PATCH] actions DownloadLocatedFile: fail, if wget fails

---
 build/jam/FileRules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/jam/FileRules b/build/jam/FileRules
index 85dd45c1d0..6a4b02e98e 100644
--- a/build/jam/FileRules
+++ b/build/jam/FileRules
@@ -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)"
 }