summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorPaolo Bonzini2020-10-14 13:35:13 +0200
committerPaolo Bonzini2020-10-17 16:45:49 +0200
commit3bf4583580ab705de1beff6222e934239c3a0356 (patch)
tree7efd8260d10f1d0c1266ce0b6774bcaf70d46c7c /Makefile
parenttests/Makefile.include: unbreak non-tcg builds (diff)
downloadqemu-3bf4583580ab705de1beff6222e934239c3a0356.tar.gz
qemu-3bf4583580ab705de1beff6222e934239c3a0356.tar.xz
qemu-3bf4583580ab705de1beff6222e934239c3a0356.zip
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>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d20c7a3f80..91c62a26c8 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