diff options
author | Ben Brosgol <brosgol@adacore.com> | 2018-01-11 08:52:59 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-01-11 08:52:59 +0000 |
commit | 2e01b698bd52e3b4af71a5cb03e647d3ac8cf601 (patch) | |
tree | da46e735422c3fa18f7e4cb805b4fabfafcecb19 | |
parent | f5c31a469e156fdaf989ac327904ee523ec05df9 (diff) | |
download | gcc-2e01b698bd52e3b4af71a5cb03e647d3ac8cf601.zip gcc-2e01b698bd52e3b4af71a5cb03e647d3ac8cf601.tar.gz gcc-2e01b698bd52e3b4af71a5cb03e647d3ac8cf601.tar.bz2 |
[Ada] Add Sphinx option -W to treat warnings as errors
2018-01-11 Ben Brosgol <brosgol@adacore.com>
gcc/ada/
* doc/Makefile: Add Sphinx option -W to treat warnings as errors.
From-SVN: r256506
-rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/ada/doc/Makefile | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 538bd90..9681fbd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 2018-01-11 Ben Brosgol <brosgol@adacore.com> + * doc/Makefile: Add Sphinx option -W to treat warnings as errors. + +2018-01-11 Ben Brosgol <brosgol@adacore.com> + * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording corrections. * gnat_rm.texi: Regenerate. diff --git a/gcc/ada/doc/Makefile b/gcc/ada/doc/Makefile index 812cc8f..a2a9d7a 100644 --- a/gcc/ada/doc/Makefile +++ b/gcc/ada/doc/Makefile @@ -1,7 +1,7 @@ # Makefile for Sphinx documentation # You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS = -W SPHINXBUILD = DOC_NAME=$* sphinx-build PAPER = BUILDDIR = build |