From: Paolo Bonzini <pbonzini@redhat.com>
Date: Wed, 14 Oct 2020 11:35:13 +0000 (-0400)
Subject: make: run shell with pipefail
X-Git-Tag: v5.2.0-rc0~50^2~18
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=3bf4583580ab705de1beff6222e934239c3a0356;p=thirdparty%2Fqemu.git

make: run shell with pipefail

Without pipefail, it is possible to miss failures if the recipes
include pipes.

Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
---

diff --git a/Makefile b/Makefile
index d20c7a3f803..91c62a26c84 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,8 @@ SRC_PATH=.
 # we have explicit rules for everything
 MAKEFLAGS += -rR
 
+SHELL = /usr/bin/env bash -o pipefail
+
 # Usage: $(call quiet-command,command and args,"NAME","args to print")
 # This will run "command and args", and either:
 #  if V=1 just print the whole command and args