diff options
| author | Javier Miranda <miranda@adacore.com> | 2019-12-18 07:14:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-18 07:14:44 +0000 |
| commit | 1198a9351f6a5e77a9b02c96afddb1c663cedae9 (patch) | |
| tree | dda5211247f88318702577b9a536fad6472d706d /gcc/ada/init.c | |
| parent | fa1072e7255460c43690132ede6f74027bd8d1da (diff) | |
| download | gcc-1198a9351f6a5e77a9b02c96afddb1c663cedae9.zip gcc-1198a9351f6a5e77a9b02c96afddb1c663cedae9.tar.gz gcc-1198a9351f6a5e77a9b02c96afddb1c663cedae9.tar.bz2 | |
[Ada] Reserving switch d_K for known problem isssues detection
2019-12-18 Javier Miranda <miranda@adacore.com>
gcc/ada/
* debug.adb: Document -gnatd_K as a reserved switch for the
detection of known problem issues of previous releases.
From-SVN: r279510
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions