diff mbox series

[COMMITTED] ada: usage.adb: document -gnatyD switch

Message ID 20230516084052.1501867-1-poulhies@adacore.com
State Accepted
Headers
Series [COMMITTED] ada: usage.adb: document -gnatyD switch |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Marc Poulhiès May 16, 2023, 8:40 a.m. UTC 
  From: Ghjuvan Lacambre <lacambre@adacore.com>

-gnatyD was documented in the user guide but not in `gnat --help-ada`.

gcc/ada/

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

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/usage.adb | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

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");