summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGhjuvan Lacambre <lacambre@adacore.com>2023-01-26 15:13:29 +0100
committerMarc Poulhiès <poulhies@adacore.com>2023-05-16 10:30:58 +0200
commit4803e348aa63482085d535127689528e4925cccf (patch)
treeeb89e9f88033601eb93aa8d700216ea8997aa54b
parent2ffa7a68401b0f40360f7bd3dfcecc8e34ff7c14 (diff)
downloadgcc-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.adb1
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");