diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2019-03-06 16:48:50 +0100 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2019-03-06 16:49:10 +0100 |
| commit | 3ad6817cd1c8b3ecd23ce8a8d1a9eece831f487f (patch) | |
| tree | 2e6b1b74699b8f0c83634835dbc6b1eb4f4dbfed | |
| parent | 2136f52ddfd9d65370631f13e3c07d94e96083ab (diff) | |
add manuals.opts, no_doxygen.opts, no_optimization.opts
Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81
| -rw-r--r-- | manuals.opts | 1 | ||||
| -rw-r--r-- | no_doxygen.opts | 1 | ||||
| -rw-r--r-- | no_optimization.opts | 1 |
3 files changed, 3 insertions, 0 deletions
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" |