diff options
-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 } |