| commit | 3bf4583580ab705de1beff6222e934239c3a0356 | |
| author | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 14 Oct 2020 11:35:13 +0000 (14 07:35 -0400) | ||
| committer | Paolo Bonzini <pbonzini@redhat.com> | |
| Sat, 17 Oct 2020 14:45:49 +0000 (17 10:45 -0400) | ||
| tree | 7efd8260d10f1d0c1266ce0b6774bcaf70d46c7c | treesnapshot (tar.gz zip) |
| parent | 88da4b043b4f91a265947149b1cd6758c046a4bd | commitdiff |
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>
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>
| Makefile | diffblobblamehistory |