Change in osmo-ci[master]: coverity/build_Osmocom.sh: run 'make check' in do_build()
fixeria has uploaded this change for review. ( 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(-) git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/51/28451/1 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: 1 Gerrit-Owner: fixeria <vyanitskiy@sysmocom.de> Gerrit-MessageType: newchange
participants (1)
-
fixeria