From a2dd2f0b08620e3b13bb787475162ee9c9776c4d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= <ole.schuett@cp2k.org>
Date: Wed, 29 Sep 2021 21:59:14 +0200
Subject: [PATCH] Toolchain: Set pipefail in warn ARCH file

---
 tools/toolchain/scripts/generate_arch_files.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/toolchain/scripts/generate_arch_files.sh b/tools/toolchain/scripts/generate_arch_files.sh
index 5a9fc731af..c0c4ea5c60 100755
--- a/tools/toolchain/scripts/generate_arch_files.sh
+++ b/tools/toolchain/scripts/generate_arch_files.sh
@@ -259,6 +259,11 @@ EOF
   if [ "$__WARNALL" = "on" ]; then
     cat << EOF >> $__filename
 #
+SHELL       := bash
+FC          := set -o pipefail && \\\${FC}
+CC          := set -o pipefail && \\\${CC}
+CXX         := set -o pipefail && \\\${CXX}
+LD          := set -o pipefail && \\\${LD}
 FCLOGPIPE   = 2>&1 | tee \\\$(notdir \\\$<).warn
 EOF
   fi