]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Remove use of debug flag -gnatdF for GNATprove
authorYannick Moy <moy@adacore.com>
Tue, 26 May 2020 08:15:18 +0000 (10:15 +0200)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:17:07 +0000 (13:17 -0300)
commit2d3c39eccc32cd94814d9e09543720927b26267c
tree79af855377300bdf0de8233f344eea0695921d94
parentc05f735e8b4a98b19b49c765b0dfc72d8baadad3
[Ada] Remove use of debug flag -gnatdF for GNATprove

gcc/ada/

* debug.adb: Update comments to free usage of -gnatdF.
gcc/ada/debug.adb