diff options
Diffstat (limited to 'gcc/ada/gcc-interface/lang.opt')
| -rw-r--r-- | gcc/ada/gcc-interface/lang.opt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/lang.opt b/gcc/ada/gcc-interface/lang.opt index cc9fa49..4295651 100644 --- a/gcc/ada/gcc-interface/lang.opt +++ b/gcc/ada/gcc-interface/lang.opt @@ -56,6 +56,10 @@ Wall Ada AdaWhy AdaSCIL Enable most warning messages. +fdump-scos +Ada RejectNegative Var(flag_dump_scos) Init(0) +Dump Source Coverage Obligations + k8 Driver Synonym of -gnatk8. |