diff options
| author | Pierre-Marie de Rodat <derodat@adacore.com> | 2019-08-20 09:47:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-20 09:47:44 +0000 |
| commit | ca19ff234f1a7ade1652fdfa53a4ce4f25b10d11 (patch) | |
| tree | 0b869ac8602655f77d7f7117c0fcdf1f360c48cc /gcc | |
| parent | 7ee98586a66efe3219ef5a8b00bcced4b0da23e5 (diff) | |
| download | gcc-ca19ff234f1a7ade1652fdfa53a4ce4f25b10d11.zip gcc-ca19ff234f1a7ade1652fdfa53a4ce4f25b10d11.tar.gz gcc-ca19ff234f1a7ade1652fdfa53a4ce4f25b10d11.tar.bz2 | |
[Ada] Add missing dot at the end of lang.opt doc for -fdump-scos
2019-08-20 Pierre-Marie de Rodat <derodat@adacore.com>
gcc/ada/
PR ada/91492
* gcc-interface/lang.opt (-fdump-scos): Add missing dot at the
end of the documentation.
From-SVN: r274714
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/lang.opt | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 66514c1..ef75e84 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-08-20 Pierre-Marie de Rodat <derodat@adacore.com> + + PR ada/91492 + * gcc-interface/lang.opt (-fdump-scos): Add missing dot at the + end of the documentation. + 2019-08-20 Richard Sandiford <richard.sandiford@arm.com> * gcc-interface/misc.c (default_pass_by_ref): Update call to diff --git a/gcc/ada/gcc-interface/lang.opt b/gcc/ada/gcc-interface/lang.opt index 4295651..6691136 100644 --- a/gcc/ada/gcc-interface/lang.opt +++ b/gcc/ada/gcc-interface/lang.opt @@ -58,7 +58,7 @@ Enable most warning messages. fdump-scos Ada RejectNegative Var(flag_dump_scos) Init(0) -Dump Source Coverage Obligations +Dump Source Coverage Obligations. k8 Driver |