commit e14835ee89735fc01c1357910768e39fe73858e1 Author: Mike Perry mikeperry-git@fscked.org Date: Mon Jul 15 17:50:15 2013 -0700

Don't kill wget output during fetch-inputs.sh

Otherwise it just appears to hang for a while, especially if you're using Tor. --- gitian/fetch-inputs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitian/fetch-inputs.sh b/gitian/fetch-inputs.sh index cd8b4cd..46a0ca5 100755 --- a/gitian/fetch-inputs.sh +++ b/gitian/fetch-inputs.sh @@ -64,7 +64,7 @@ get() { local file="$1"; shift local url="$1"; shift

- if ! wget -N "$url" >& /dev/null; then + if ! wget -N "$url"; then echo >&2 "Error: Cannot download $url" mv "${file}" "${file}.DLFAILED" exit 1