c++: Fix up -fcontracts option description [PR108890]

Message ID Y/c/U4Y3wDN/K+uc@tucnak
State Unresolved
Headers
Series c++: Fix up -fcontracts option description [PR108890] |

Checks

Context Check Description
snail/gcc-patch-check warning Git am fail log

Commit Message

Jakub Jelinek Feb. 23, 2023, 10:26 a.m. UTC
  Hi!

This translation PR mentioned the description is a little bit weird.

Ok for trunk?

2023-02-23  Jakub Jelinek  <jakub@redhat.com>

	PR translation/108890
	* c.opt (fcontracts): Fix description.


	Jakub
  

Comments

Marek Polacek Feb. 23, 2023, 2:17 p.m. UTC | #1
On Thu, Feb 23, 2023 at 11:26:27AM +0100, Jakub Jelinek via Gcc-patches wrote:
> Hi!
> 
> This translation PR mentioned the description is a little bit weird.
> 
> Ok for trunk?

I think this is OK...
 
> 2023-02-23  Jakub Jelinek  <jakub@redhat.com>
> 
> 	PR translation/108890
> 	* c.opt (fcontracts): Fix description.
> 
> --- gcc/c-family/c.opt.jj	2023-02-01 10:19:42.637146215 +0100
> +++ gcc/c-family/c.opt	2023-02-23 10:25:06.084085718 +0100
> @@ -1689,7 +1689,7 @@ C++ ObjC++ Joined RejectNegative Host_Wi
>  
>  fcontracts
>  C++ ObjC++ Var(flag_contracts) Init(0)
> -Enable certain features present drafts of C++ Contracts.
> +Enable certain features present in drafts of C++ Contracts.
>  
>  Enum
>  Name(on_off) Type(int) UnknownError(argument %qs must be either %<on%> or %<off%>)
> 
> 	Jakub
> 

Marek
  
Jason Merrill Feb. 27, 2023, 11:21 p.m. UTC | #2
On 2/23/23 05:26, Jakub Jelinek wrote:
> Hi!
> 
> This translation PR mentioned the description is a little bit weird.
> 
> Ok for trunk?

OK.

> 2023-02-23  Jakub Jelinek  <jakub@redhat.com>
> 
> 	PR translation/108890
> 	* c.opt (fcontracts): Fix description.
> 
> --- gcc/c-family/c.opt.jj	2023-02-01 10:19:42.637146215 +0100
> +++ gcc/c-family/c.opt	2023-02-23 10:25:06.084085718 +0100
> @@ -1689,7 +1689,7 @@ C++ ObjC++ Joined RejectNegative Host_Wi
>   
>   fcontracts
>   C++ ObjC++ Var(flag_contracts) Init(0)
> -Enable certain features present drafts of C++ Contracts.
> +Enable certain features present in drafts of C++ Contracts.
>   
>   Enum
>   Name(on_off) Type(int) UnknownError(argument %qs must be either %<on%> or %<off%>)
> 
> 	Jakub
>
  

Patch

--- gcc/c-family/c.opt.jj	2023-02-01 10:19:42.637146215 +0100
+++ gcc/c-family/c.opt	2023-02-23 10:25:06.084085718 +0100
@@ -1689,7 +1689,7 @@  C++ ObjC++ Joined RejectNegative Host_Wi
 
 fcontracts
 C++ ObjC++ Var(flag_contracts) Init(0)
-Enable certain features present drafts of C++ Contracts.
+Enable certain features present in drafts of C++ Contracts.
 
 Enum
 Name(on_off) Type(int) UnknownError(argument %qs must be either %<on%> or %<off%>)