]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Document that -gnatdJ is unused
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 12 Jun 2024 10:35:13 +0000 (12:35 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 2 Jul 2024 13:20:34 +0000 (15:20 +0200)
gcc/ada/

* debug.adb (dJ): Add back as unused.

gcc/ada/debug.adb

index f7fcd399769a85c2beed961fb0435135d61434a6..3313c4a408f481db701e6a8800935aba14e2a056 100644 (file)
@@ -67,6 +67,7 @@ package body Debug is
    --  dG   Generate all warnings including those normally suppressed
    --  dH   Hold (kill) call to gigi
    --  dI   Inhibit internal name numbering in gnatG listing
+   --  dJ
    --  dK   Kill all error messages
    --  dL   Ignore external calls from instances for elaboration
    --  dM   Assume all variables are modified (no current values)