diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-03 19:36:06 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-04 14:38:45 +0700 |
commit | 618f171cb1173e6e665a282b611f938c9c337925 (patch) | |
tree | 65c073f8107e8230ccd6eb0da6122fb6ce502438 | |
parent | 9baa805a74bef25004ca8f5ef961b80489067e3e (diff) |
Revert "coverity/build_Osmocom.sh: run 'make check' in do_build()"
This reverts commit bf84ba9f69a0a2125bfd4327519b0e6fa212d664.
Change-Id: I722f8cbb1934a4f5ce2969e243f223019f123777
-rwxr-xr-x | coverity/build_Osmocom.sh | 2 |
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 } |