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/.
Neels Hofmeyr gerrit-no-reply at lists.osmocom.orgNeels Hofmeyr has submitted this change and it was merged. ( https://gerrit.osmocom.org/13148 ) Change subject: add manuals.opts, no_doxygen.opts, no_optimization.opts ...................................................................... add manuals.opts, no_doxygen.opts, no_optimization.opts Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81 --- A manuals.opts A no_doxygen.opts A no_optimization.opts 3 files changed, 3 insertions(+), 0 deletions(-) Approvals: Harald Welte: Looks good to me, but someone else must approve diff --git a/manuals.opts b/manuals.opts new file mode 100644 index 0000000..2ba5237 --- /dev/null +++ b/manuals.opts @@ -0,0 +1 @@ +ALL --enable-manuals diff --git a/no_doxygen.opts b/no_doxygen.opts new file mode 100644 index 0000000..b2aa682 --- /dev/null +++ b/no_doxygen.opts @@ -0,0 +1 @@ +ALL --disable-doxygen diff --git a/no_optimization.opts b/no_optimization.opts new file mode 100644 index 0000000..3d85054 --- /dev/null +++ b/no_optimization.opts @@ -0,0 +1 @@ +ALL CFLAGS="-g -O0" -- To view, visit https://gerrit.osmocom.org/13148 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-dev Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81 Gerrit-Change-Number: 13148 Gerrit-PatchSet: 1 Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de> Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org> -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20190307/e072cc39/attachment.htm>