]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0f7bea) | patch
ada: Update documentation for -gnatVxx switches
authorViljar Indus <indus@adacore.com>
Tue, 15 Oct 2024 10:49:07 +0000 (13:49 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 4 Nov 2024 15:57:58 +0000 (16:57 +0100)
commit420b9b99d67bb99efd1e23dabe1ed5e23737989d
treebada39acfa25f9c775f3d72385a02014a8f05a25tree
parentf0f7beae693e6f6d0206c57a3be23fdc6598fcfdcommit | diff
ada: Update documentation for -gnatVxx switches

Imporve the wording to explicitly state which options are turned on
by -gnatVa and that -gnatVd is enabled by default.

It can be somewhat hard to decifer that information from the old
wording. Especially when compared to -gnatWxx switches where there
is an elaborate scheme for describing those properties.

gcc/ada/ChangeLog:

* usage.adb: Update the wording for -gnatVa and -gnatVd.
gcc/ada/usage.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git