diff options
| author | Viljar Indus <indus@adacore.com> | 2024-05-07 16:35:30 +0300 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-20 10:50:50 +0200 |
| commit | 82531c69462ac65d2f12decbac1576267ef13448 (patch) | |
| tree | 5fdbbfaab2c09cdb2ae3ce359567894541d79c87 /gcc/ada/debug.adb | |
| parent | d1c07598fad36218809907312f5c3d247b0413aa (diff) | |
| download | gcc-82531c69462ac65d2f12decbac1576267ef13448.zip gcc-82531c69462ac65d2f12decbac1576267ef13448.tar.gz gcc-82531c69462ac65d2f12decbac1576267ef13448.tar.bz2 | |
ada: Add switch for suppressing info messages
Add a separate switch -gnatis to suppress info messages
separately from warning messages that are controlled by
-gnatws.
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
entry for -gnatis.
* errout.adb (Error_Msg_Internal): Stop printing info messages if
-gnatis was used.
* opt.ads: Add Info_Suppressed flag to track whether info messages
should be suppressed.
* switch-c.adb: Add parsing for -gnatis.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions