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>