Change in osmo-ci[master]: coverity/build_Osmocom.sh: run 'make check' in do_build()

fixeria has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/28451 ) Change subject: coverity/build_Osmocom.sh: run 'make check' in do_build() ...................................................................... coverity/build_Osmocom.sh: run 'make check' in do_build() This enables building and running tests (check_PROGRAMS), so that Coverity will be able to find bugs in their code too. Change-Id: I3f3149a61df96646798c72d0ad31c41b97e6b81f --- M coverity/build_Osmocom.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: laforge: Looks good to me, but someone else must approve osmith: Looks good to me, approved Jenkins Builder: Verified diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index a7f8cdd..fe9806c 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -18,7 +18,7 @@ --disable-doxygen \ $* - make $PARALLEL_MAKE + make $PARALLEL_MAKE check make install } -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/28451 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: I3f3149a61df96646798c72d0ad31c41b97e6b81f Gerrit-Change-Number: 28451 Gerrit-PatchSet: 2 Gerrit-Owner: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-Reviewer: pespin <pespin(a)sysmocom.de> Gerrit-MessageType: merged