diff options
-rwxr-xr-x | coverity/build_Osmocom.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index f3a903b..bfd440b 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -12,7 +12,11 @@ export PKG_CONFIG_PATH="$prefix/lib/pkgconfig" do_build() { autoreconf --install --force - ./configure --prefix="$prefix" --with-systemdsystemunitdir=no $* + ./configure \ + --prefix="$prefix" \ + --with-systemdsystemunitdir=no \ + --disable-doxygen \ + $* make $PARALLEL_MAKE make install |