diff options
Diffstat (limited to 'coverity/build_Osmocom.sh')
| -rwxr-xr-x | coverity/build_Osmocom.sh | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index fe9806c..ec764be 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -5,6 +5,7 @@ set -e -x base_dir="$PWD" src_dir="$base_dir/source-Osmocom" prefix="$base_dir/install-Osmocom" +check="check" install -d "$prefix" @@ -18,10 +19,16 @@ do_build() { --disable-doxygen \ $* - make $PARALLEL_MAKE check + make $PARALLEL_MAKE $check make install } +do_build_no_check() { + check="" + do_build "$@" + check="check" +} + build_default() { pushd $1 shift @@ -29,6 +36,13 @@ build_default() { popd } +build_no_check() { + pushd $1 + shift + do_build_no_check $* + popd +} + build_layer1api() { pushd layer1-api install -d "$prefix/include/sysmocom/femtobts/" @@ -69,10 +83,10 @@ cd "$src_dir" rm -rf "$prefix" build_layer1api -build_default asn1c +build_no_check asn1c build_default libosmocore build_libasn1c -build_libusrp +build_no_check libusrp build_default libosmo-abis build_default libosmo-netif build_default libosmo-sccp |