diff options
| author | Yannick Moy <moy@adacore.com> | 2020-07-22 09:14:54 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-20 03:21:44 -0400 |
| commit | c01c11cc9cbb2d2a78f03c7c90d98149fd650a95 (patch) | |
| tree | 314c27103d1c9628cd8fe7ed69f0d8bfc3aa13ab /gcc/collect-utils.c | |
| parent | 04b06947cbcfebaa1ba5beb3c9bf086af5beabab (diff) | |
| download | gcc-c01c11cc9cbb2d2a78f03c7c90d98149fd650a95.zip gcc-c01c11cc9cbb2d2a78f03c7c90d98149fd650a95.tar.gz gcc-c01c11cc9cbb2d2a78f03c7c90d98149fd650a95.tar.bz2 | |
[Ada] Fixes for pretty command-line GNATprove output with -gnatdF
gcc/ada/
* errout.adb (Write_Source_Code_Line): Adopt display closer to
GCC format.
(Output_Messages): Deal specially with info messages.
* erroutc.adb (Prescan_Message): Fix bug leading to check
messages being considered as error messages in pretty output
mode.
Diffstat (limited to 'gcc/collect-utils.c')
0 files changed, 0 insertions, 0 deletions