[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 2/7] make: run shell with pipefail
From: |
Paolo Bonzini |
Subject: |
[PATCH 2/7] make: run shell with pipefail |
Date: |
Wed, 14 Oct 2020 09:54:11 -0400 |
Without pipefail, it is possible to miss failures if the recipes
include pipes.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
---
Makefile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Makefile b/Makefile
index c37e513431..5e51e61c3b 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
--
2.26.2
- [PATCH 0/7] build: replace ninjatool with ninja, Paolo Bonzini, 2020/10/14
- [PATCH 1/7] tests/Makefile.include: unbreak non-tcg builds, Paolo Bonzini, 2020/10/14
- [PATCH 2/7] make: run shell with pipefail,
Paolo Bonzini <=
- [PATCH 3/7] tests: add missing generated sources to testqapi, Paolo Bonzini, 2020/10/14
- [PATCH 5/7] dockerfiles: enable Centos 8 PowerTools, Paolo Bonzini, 2020/10/14
- [PATCH 4/7] configure: move QEMU_INCLUDES to meson, Paolo Bonzini, 2020/10/14
- [PATCH 6/7] add ninja to dockerfiles, CI configurations and test VMs, Paolo Bonzini, 2020/10/14