diff options
| author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-06-29 00:19:29 +0700 |
|---|---|---|
| committer | fixeria <vyanitskiy@sysmocom.de> | 2022-06-29 13:40:16 +0000 |
| commit | bf84ba9f69a0a2125bfd4327519b0e6fa212d664 (patch) | |
| tree | 54dde606954338901dc56b3b0c6927de62fd9302 /coverity | |
| parent | 2b7b90e5559172c70141d42e1305c3276c32712b (diff) | |
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
Diffstat (limited to 'coverity')
| -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 a7f8cdd..fe9806c 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -18,7 +18,7 @@ do_build() { --disable-doxygen \ $* - make $PARALLEL_MAKE + make $PARALLEL_MAKE check make install } |