tools/ci.sh: Re-add IGNORE_ERRORS to ci_code_size_build.

It was removed (possibly inadvertently)
in 4c55b0879b

Signed-off-by: Jeff Epler <jepler@unpythonic.net>
This commit is contained in:
Jeff Epler 2025-09-26 15:30:09 -05:00 committed by Damien George
parent 61988ee8fa
commit 13d49751f4

View File

@ -110,6 +110,7 @@ function ci_code_size_build {
COMMIT=$1
OUTFILE=$2
IGNORE_ERRORS=$3
echo "Building ${COMMIT}..."
git checkout --detach $COMMIT
@ -118,14 +119,15 @@ function ci_code_size_build {
tools/metrics.py clean "$PORTS_TO_CHECK"
# Allow errors from tools/metrics.py to propagate out of the pipe below.
set -o pipefail
tools/metrics.py build "$PORTS_TO_CHECK" | tee $OUTFILE
tools/metrics.py build "$PORTS_TO_CHECK" | tee $OUTFILE || $IGNORE_ERRORS
return $?
}
# build reference, save to size0
# ignore any errors with this build, in case master is failing
code_size_build_step $REFERENCE ~/size0
code_size_build_step $REFERENCE ~/size0 true
# build PR/branch, save to size1
code_size_build_step $COMPARISON ~/size1
code_size_build_step $COMPARISON ~/size1 false
)
}