add manuals.opts, no_doxygen.opts, no_optimization.opts

Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81
This commit is contained in:
Neels Hofmeyr 2019-03-06 16:48:50 +01:00
parent 2136f52ddf
commit 3ad6817cd1
3 changed files with 3 additions and 0 deletions

1
manuals.opts Normal file
View File

@ -0,0 +1 @@
ALL --enable-manuals

1
no_doxygen.opts Normal file
View File

@ -0,0 +1 @@
ALL --disable-doxygen

1
no_optimization.opts Normal file
View File

@ -0,0 +1 @@
ALL CFLAGS="-g -O0"