projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc55492) | patch
[Ada] Alternative display of multi-line messages for GNATprove
authorYannick Moy <moy@adacore.com>
Thu, 9 Jul 2020 09:52:49 +0000 (11:52 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 19 Oct 2020 09:53:40 +0000 (05:53 -0400)
commit5ad0303141a1632004ef0ba7f57e6a0253db0923
treea3e5daf356c2ec1529e0d8972ca4a01cfb660d8ctree
parentdc55492d63569da6b0885d9b3a7ee2cff61b9302commit | diff
[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.
gcc/ada/debug.adb diff | blob | history
gcc/ada/errout.adb diff | blob | history
gcc/ada/erroutc.adb diff | blob | history