Change in osmo-ci[master]: coverity: disable Doxygen when building projects

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

laforge gerrit-no-reply at lists.osmocom.org
Mon Oct 25 10:00:24 UTC 2021


laforge has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/25910 )

Change subject: coverity: disable Doxygen when building projects
......................................................................

coverity: disable Doxygen when building projects

Change-Id: I2fe2f80eb3ec00e9b6c0a3c0ee96e1a0da217b27
---
M coverity/build_Osmocom.sh
1 file changed, 5 insertions(+), 1 deletion(-)

Approvals:
  pespin: Looks good to me, but someone else must approve
  osmith: Looks good to me, approved
  Jenkins Builder: Verified



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 @@
 
 do_build() {
 	autoreconf --install --force
-	./configure --prefix="$prefix" --with-systemdsystemunitdir=no $*
+	./configure \
+		--prefix="$prefix" \
+		--with-systemdsystemunitdir=no \
+		--disable-doxygen \
+		$*
 
 	make $PARALLEL_MAKE
 	make install

-- 
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/25910
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I2fe2f80eb3ec00e9b6c0a3c0ee96e1a0da217b27
Gerrit-Change-Number: 25910
Gerrit-PatchSet: 3
Gerrit-Owner: fixeria <vyanitskiy at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <laforge at osmocom.org>
Gerrit-Reviewer: osmith <osmith at sysmocom.de>
Gerrit-Reviewer: pespin <pespin at sysmocom.de>
Gerrit-MessageType: merged
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20211025/7e5a95a2/attachment.htm>


More information about the gerrit-log mailing list