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 /libcpp/internal.h | |
| 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 'libcpp/internal.h')
0 files changed, 0 insertions, 0 deletions