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/.
fixeria gerrit-no-reply at lists.osmocom.orgfixeria has uploaded this change for review. ( 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, 4 insertions(+), 1 deletion(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/10/25910/1
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 3723842..92dbea2 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -12,7 +12,10 @@
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: 1
Gerrit-Owner: fixeria <vyanitskiy at sysmocom.de>
Gerrit-MessageType: newchange
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20211024/c672445d/attachment.htm>