projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa1072e) | patch
[Ada] Reserving switch d_K for known problem isssues detection
authorJavier Miranda <miranda@adacore.com>
Wed, 18 Dec 2019 07:14:44 +0000 (07:14 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 18 Dec 2019 07:14:44 +0000 (07:14 +0000)
commit1198a9351f6a5e77a9b02c96afddb1c663cedae9
treedda5211247f88318702577b9a536fad6472d706dtree
parentfa1072e7255460c43690132ede6f74027bd8d1dacommit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/debug.adb diff | blob | history