diff options
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index f96bfe5..436a886 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -202,6 +202,11 @@ begin Write_Switch_Char ("ef"); Write_Line ("Full source path in brief error messages"); + -- Line for -gnateF switch + + Write_Switch_Char ("eF"); + Write_Line ("Check overflow on predefined Float types"); + -- Line for -gnateG switch Write_Switch_Char ("eG"); |