diff options
| author | Yannick Moy <moy@adacore.com> | 2020-05-26 10:15:18 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:16 -0400 |
| commit | c24633fbbb88d0032008ab012e2e3204b9405ec4 (patch) | |
| tree | cb765a48ce1e26815ae3ac6734921e46c8c2ee02 /gcc/cp | |
| parent | a9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b (diff) | |
| download | gcc-c24633fbbb88d0032008ab012e2e3204b9405ec4.zip gcc-c24633fbbb88d0032008ab012e2e3204b9405ec4.tar.gz gcc-c24633fbbb88d0032008ab012e2e3204b9405ec4.tar.bz2 | |
[Ada] Remove use of debug flag -gnatdF for GNATprove
gcc/ada/
* debug.adb: Update comments to free usage of -gnatdF.
Diffstat (limited to 'gcc/cp')
0 files changed, 0 insertions, 0 deletions