]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: usage.adb: document -gnatyD switch
authorGhjuvan Lacambre <lacambre@adacore.com>
Thu, 26 Jan 2023 14:13:29 +0000 (15:13 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 16 May 2023 08:30:58 +0000 (10:30 +0200)
-gnatyD was documented in the user guide but not in `gnat --help-ada`.

gcc/ada/

* usage.adb (Usage): Document -gnatyD.

gcc/ada/usage.adb

index 4a2fa019013ffef35c7a3cf2b4b635c5d0b7e16b..97cedbb9a2de1f29f1c6e28f64c9132a8a16cad7 100644 (file)
@@ -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");