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