aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorVadim Yanitskiy <vyanitskiy@sysmocom.de>2022-07-03 19:36:06 +0700
committerVadim Yanitskiy <vyanitskiy@sysmocom.de>2022-07-04 14:38:45 +0700
commit618f171cb1173e6e665a282b611f938c9c337925 (patch)
tree65c073f8107e8230ccd6eb0da6122fb6ce502438
parent9baa805a74bef25004ca8f5ef961b80489067e3e (diff)
Revert "coverity/build_Osmocom.sh: run 'make check' in do_build()"
This reverts commit bf84ba9f69a0a2125bfd4327519b0e6fa212d664. Change-Id: I722f8cbb1934a4f5ce2969e243f223019f123777
-rwxr-xr-xcoverity/build_Osmocom.sh2
1 files changed, 1 insertions, 1 deletions
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 @@ do_build() {
--disable-doxygen \
$*
- make $PARALLEL_MAKE check
+ make $PARALLEL_MAKE
make install
}