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