Toolchain: Set pipefail in warn ARCH file

This commit is contained in:
Ole Schütt 2021-09-29 21:59:14 +02:00 committed by Ole Schütt
parent e8615f936f
commit a2dd2f0b08

View file

@ -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