diff options
author | Ghjuvan Lacambre <lacambre@adacore.com> | 2023-01-26 15:13:29 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-16 10:30:58 +0200 |
commit | 4803e348aa63482085d535127689528e4925cccf (patch) | |
tree | eb89e9f88033601eb93aa8d700216ea8997aa54b | |
parent | 2ffa7a68401b0f40360f7bd3dfcecc8e34ff7c14 (diff) | |
download | gcc-4803e348aa63482085d535127689528e4925cccf.tar.gz |
ada: usage.adb: document -gnatyD switch
-gnatyD was documented in the user guide but not in `gnat --help-ada`.
gcc/ada/
* usage.adb (Usage): Document -gnatyD.
-rw-r--r-- | gcc/ada/usage.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 4a2fa019013..97cedbb9a2d 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -655,6 +655,7 @@ begin Write_Line (" c check comment format (two spaces)"); Write_Line (" C check comment format (one space)"); Write_Line (" d check no DOS line terminators"); + Write_Line (" D check declared identifiers in mixed case"); Write_Line (" e check end/exit labels present"); Write_Line (" f check no form feeds/vertical tabs in source"); Write_Line (" g check standard GNAT style rules, same as ydISux"); |