diff options
| author | Jim Fehrle | 2018-08-21 15:10:59 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-08-29 12:46:51 -0700 |
| commit | cc35d211ad7550d23d64828c177936990c08d681 (patch) | |
| tree | 34147c02b88d1e1bdd1d2687477776b98d9fa7e8 /dev/ci/ci-basic-overlay.sh | |
| parent | bce734bfb2a118dbb487e5b88eba524ca14d2078 (diff) | |
Create SPHINXWARNERROR variable that controls whether the Sphinx
"treat errors as warnings" flag (-W) is applied. "1" or undefined
includes the flag, other values or undefined omit it.
Removed the "-warn-error" parameter to configure. "-profile XXX" will
no longer cause these flags to be used.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions