fixeria has uploaded this change for review. (
https://gerrit.osmocom.org/c/osmo-ci/+/28511 )
Change subject: Revert "coverity/build_Osmocom.sh: run 'make check' in
do_build()"
......................................................................
Revert "coverity/build_Osmocom.sh: run 'make check' in do_build()"
This reverts commit bf84ba9f69a0a2125bfd4327519b0e6fa212d664.
Change-Id: I722f8cbb1934a4f5ce2969e243f223019f123777
---
M coverity/build_Osmocom.sh
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/11/28511/1
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index fe9806c..a7f8cdd 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -18,7 +18,7 @@
--disable-doxygen \
$*
- make $PARALLEL_MAKE check
+ make $PARALLEL_MAKE
make install
}
--
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/28511
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I722f8cbb1934a4f5ce2969e243f223019f123777
Gerrit-Change-Number: 28511
Gerrit-PatchSet: 1
Gerrit-Owner: fixeria <[email protected]>
Gerrit-MessageType: newchange
