tree cbe69892d0a04bf49ba53a135964dc3f798fb79c
parent f7e956c85c5204d253db043128ea4260040e158d
author Gilles Peskine <Gilles.Peskine@arm.com> 1625762476 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1625762676 +0200

Stop dispatching through obsolete functions

Remove the obsolete functions record_status and if_build_succeeded.
They didn't affect error detection, but they made error reporting
worse since $BASH_COMMAND would be the unexpanded "$@".

Keep the function definitions for the sake of pull requests using them
that may still be in flight.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>