From a01dd3c68d19f1e25c2f1fd76cb1298889a05371 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@google.com>
Date: Wed, 26 Jan 2011 13:44:16 +0100
Subject: [PATCH] Change the Makefile to use bash as SHELL
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
This is because we want, whenever we use sequences of commands, to set
pipefail, otherwise detecting build failures is difficult.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: RenΓ© Nussbaumer <rn@google.com>
---
Makefile.am | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/Makefile.am b/Makefile.am
index 9d1f66dd0..31d53e860 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -9,6 +9,9 @@
abs_top_builddir = @abs_top_builddir@
abs_top_srcdir = @abs_top_srcdir@
+# Use bash in order to be able to use pipefail
+SHELL=/bin/bash
+
ACLOCAL_AMFLAGS = -I autotools
BUILD_BASH_COMPLETION = $(top_srcdir)/autotools/build-bash-completion
RUN_IN_TEMPDIR = $(top_srcdir)/autotools/run-in-tempdir
@@ -617,6 +620,7 @@ man/footer.html: man/footer.rst
man/%.7.in man/%.8.in: man/%.rst man/footer.man
@test -n "$(PANDOC)" || \
{ echo 'pandoc' not found during configure; exit 1; }
+ set -o pipefail ; \
$(PANDOC) -s -f rst -t man -A man/footer.man $< | \
sed -e 's/\\@/@/g' > $@
if test -n "$(MAN_HAS_WARNINGS)"; then $(CHECK_MAN) $@; fi
@@ -624,6 +628,7 @@ man/%.7.in man/%.8.in: man/%.rst man/footer.man
man/%.html.in: man/%.rst man/footer.html
@test -n "$(PANDOC)" || \
{ echo 'pandoc' not found during configure; exit 1; }
+ set -o pipefail ; \
$(PANDOC) -s -f rst -t html -A man/footer.html $< | \
sed -e 's/\\@/@/g' > $@
--
GitLab