diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-03-22 22:41:45 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-03-22 22:41:45 +0000 |
| commit | 4a8556ca582d3df5add890cd16acc78480bd1158 (patch) | |
| tree | 5831324671484f46b66fc954932060d5f1b41386 /docs/tutorial/script.rst | |
| parent | 8657342973b8c92f88ba0ac3913c721e521b83c0 (diff) | |
unix: Remove -Wdouble-promotion from main build, and 2 from coverage.
The 2 removed from coverage build are: -Wredundant-decls and
-Wstrict-prototypes.
Diffstat (limited to 'docs/tutorial/script.rst')
0 files changed, 0 insertions, 0 deletions