Change in osmo-dev[master]: add manuals.opts, no_doxygen.opts, no_optimization.opts

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.org
Wed Mar 6 15:49:43 UTC 2019


Neels Hofmeyr has uploaded this change for review. ( 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(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-dev refs/changes/48/13148/1

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: newchange
Gerrit-Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81
Gerrit-Change-Number: 13148
Gerrit-PatchSet: 1
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20190306/b01fc045/attachment.htm>


More information about the gerrit-log mailing list