diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2012-03-09 14:34:00 +0100 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2012-03-09 14:34:00 +0100 |
commit | bda0b068b8b6a4dadf18b46098192d52be6cb963 (patch) | |
tree | e4789072d0f71b6bdb6ff25b52f3c76379503bc4 /download | |
parent | a5f27616ed0ce486558e9a281568c65fda7afeb2 (diff) |
Enable Bash pipefail so that e.g. wget failure leads to download failure
Diffstat (limited to 'download')
-rwxr-xr-x | download | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash #************************************************************************* # # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. @@ -26,6 +26,8 @@ # #************************************************************************* +set -o pipefail + # environment setup yet? if [ -z "$TARFILE_LOCATION" ]; then . ./config_host.mk |