diff options
| author | Yannick Moy <moy@adacore.com> | 2020-07-09 11:52:49 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-19 05:53:40 -0400 |
| commit | 5ad0303141a1632004ef0ba7f57e6a0253db0923 (patch) | |
| tree | a3e5daf356c2ec1529e0d8972ca4a01cfb660d8c /gcc/ada/debug.adb | |
| parent | dc55492d63569da6b0885d9b3a7ee2cff61b9302 (diff) | |
| download | gcc-5ad0303141a1632004ef0ba7f57e6a0253db0923.zip gcc-5ad0303141a1632004ef0ba7f57e6a0253db0923.tar.gz gcc-5ad0303141a1632004ef0ba7f57e6a0253db0923.tar.bz2 | |
[Ada] Alternative display of multi-line messages for GNATprove
gcc/ada/
* debug.adb: Use debug switch -gnatdF for this alternative
display of messages.
* errout.adb (Output_Messages): Alternative display when -gnatdF
is used.
* erroutc.adb (Output_Msg_Text): Likewise.
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 4eb3d5b..f00f747 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -69,7 +69,7 @@ package body Debug is -- dC Output debugging information on check suppression -- dD Delete elaboration checks in inner level routines -- dE Apply elaboration checks to predefined units - -- dF + -- dF Alternative display for messages over multiple lines -- dG Generate all warnings including those normally suppressed -- dH Hold (kill) call to gigi -- dI Inhibit internal name numbering in gnatG listing |