[Ada] Flip the meaning of debug switch -gnatdF
authorYannick Moy <moy@adacore.com>
Thu, 11 Jul 2019 08:03:19 +0000 (08:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 11 Jul 2019 08:03:19 +0000 (08:03 +0000)
commitd99ef225ac0722ab011cd39386fed4e346311edb
tree52c5ff207b56eaaa18e276653ed714aabb0dd50f
parent708fb956d9b625c150aadf9fb6394651ef054b5a
[Ada] Flip the meaning of debug switch -gnatdF

2019-07-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

* debug.adb: Flip meaning of debug switch -gnatdF.

From-SVN: r273404
gcc/ada/ChangeLog
gcc/ada/debug.adb