diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-10-14 07:35:13 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-10-17 10:45:49 -0400 |
| commit | 3bf4583580ab705de1beff6222e934239c3a0356 (patch) | |
| tree | 7efd8260d10f1d0c1266ce0b6774bcaf70d46c7c | |
| parent | 88da4b043b4f91a265947149b1cd6758c046a4bd (diff) | |
| download | focaccia-qemu-3bf4583580ab705de1beff6222e934239c3a0356.tar.gz focaccia-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>
| -rw-r--r-- | Makefile | 2 |
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 |