diff options
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index 03859f3ba8af..24deac21c59f 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -1,4 +1,5 @@ set -e +set -o pipefail : ${outputs:=out} @@ -568,10 +569,6 @@ patchPhase() { for i in $patches; do header "applying patch $i" 3 - if [ ! -r "$i" ]; then - echo "file $i does not exist or not readable" - exit 1 - fi local uncompress=cat case "$i" in *.gz) |