gplugin/builders

Capture the exit code of scanbuild and return it

2017-10-23, Gary Kramlich
f215bd12d996
Parents bc3084e04859
Children 5075b7459250
Capture the exit code of scanbuild and return it
1 files changed, 3 insertions(+), 0 deletions(-)
  • +3 -0
    scanbuild/build.sh
    • --- a/scanbuild/build.sh Sun Oct 22 22:47:23 2017 -0500
    +++ b/scanbuild/build.sh Mon Oct 23 20:44:52 2017 -0500
    @@ -21,6 +21,9 @@
    meson ${BUILD_DIR}
    ninja -C ${BUILD_DIR} scan-build
    +EC=${?}
    cp -a ${BUILD_DIR}/meson-logs/scanbuild ${CONVEY_WORKSPACE}
    +exit ${?}
    +