Re: [Cocci] [PATCH 3/3] Coccinelle: Update the options used to the new option scheme

2013-07-03 Thread Michal Marek
On 3.7.2013 15:52, Nicolas Palix wrote: > Hi, > > On Wed, Jul 3, 2013 at 3:36 PM, Michal Marek wrote: >> On 20.6.2013 13:10, Nicolas Palix wrote: >>> spatch has changed its option scheme. >>> E.g., --no_show_diff is now --no-show-diff >>> >>> This patch updates: >>> - scripts/coccicheck >>> - S

Re: [Cocci] [PATCH 3/3] Coccinelle: Update the options used to the new option scheme

2013-07-03 Thread Nicolas Palix
Hi, On Wed, Jul 3, 2013 at 3:36 PM, Michal Marek wrote: > On 20.6.2013 13:10, Nicolas Palix wrote: >> spatch has changed its option scheme. >> E.g., --no_show_diff is now --no-show-diff >> >> This patch updates: >> - scripts/coccicheck >> - Semantic patches under scripts/coccinelle/ > > Will th

Re: [PATCH 3/3] Coccinelle: Update the options used to the new option scheme

2013-07-03 Thread Michal Marek
On 20.6.2013 13:10, Nicolas Palix wrote: > spatch has changed its option scheme. > E.g., --no_show_diff is now --no-show-diff > > This patch updates: > - scripts/coccicheck > - Semantic patches under scripts/coccinelle/ Will the new syntax work with older spatch versions? I mean, it's probably

[PATCH 3/3] Coccinelle: Update the options used to the new option scheme

2013-06-20 Thread Nicolas Palix
spatch has changed its option scheme. E.g., --no_show_diff is now --no-show-diff This patch updates: - scripts/coccicheck - Semantic patches under scripts/coccinelle/ Signed-off-by: Nicolas Palix --- scripts/coccicheck | 28 ++-- .../coccinell