diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2021-10-24 13:17:45 +0300 |
---|---|---|
committer | laforge <laforge@osmocom.org> | 2021-10-25 10:00:24 +0000 |
commit | 72e42f70d519939a697a07617535f16f5dfe3d06 (patch) | |
tree | d0f3a8b19a559478066481ccdbecf4f32d83d33b /coverity | |
parent | 2ab3f7d4dcc9df2639e908aea2ffa323e602faf3 (diff) |
coverity: disable Doxygen when building projects
Change-Id: I2fe2f80eb3ec00e9b6c0a3c0ee96e1a0da217b27
Diffstat (limited to 'coverity')
-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 |