diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-11 23:48:34 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:55 -0400 |
| commit | 31c1fdbe0d12299eae196a4653952ab63ac23621 (patch) | |
| tree | cfc37507bdaa849fcb6fda91a29e499325a54935 /libcpp/files.c | |
| parent | d4175ef48ba562f6fb8098b6fa000f3d77e11e1b (diff) | |
| download | gcc-31c1fdbe0d12299eae196a4653952ab63ac23621.zip gcc-31c1fdbe0d12299eae196a4653952ab63ac23621.tar.gz gcc-31c1fdbe0d12299eae196a4653952ab63ac23621.tar.bz2 | |
[Ada] Fix documentation of -gnatVa switch
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(Validity Checking): Add "p" to the list of switches enabled by
-gnatVa.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'libcpp/files.c')
0 files changed, 0 insertions, 0 deletions