Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Julia Lawall
On Wed, 22 Jun 2016, Luis R. Rodriguez wrote: > On Tue, Jun 21, 2016 at 10:29:53PM +0200, Julia Lawall wrote: > [...] > > > mkid -i C --output .id-utils.index > > > > [...] Coccinelle searches for the index in the directory > > on which it is working > > Can you clarify if this is $PWD from wh

Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Julia Lawall
On Wed, 22 Jun 2016, Luis R. Rodriguez wrote: > On Tue, Jun 21, 2016 at 11:12:54PM +0200, Julia Lawall wrote: > > On Tue, 21 Jun 2016, Nicolas Palix (LIG) wrote: > > > > > Le 21/06/16 à 21:21, Luis R. Rodriguez a écrit : > > > > Help Coccinelle when used against Linux with a set of sensible def

Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Luis R. Rodriguez
On Tue, Jun 21, 2016 at 11:12:54PM +0200, Julia Lawall wrote: > On Tue, 21 Jun 2016, Nicolas Palix (LIG) wrote: > > > Le 21/06/16 à 21:21, Luis R. Rodriguez a écrit : > > > Help Coccinelle when used against Linux with a set of sensible defaults > > > options for Linux. This hints to coccinelle git

Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Luis R. Rodriguez
On Tue, Jun 21, 2016 at 10:29:53PM +0200, Julia Lawall wrote: [...] > mkid -i C --output .id-utils.index > > [...] Coccinelle searches for the index in the directory > on which it is working Can you clarify if this is $PWD from which we spawn spatch or the --dir, or the current directory that s

Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Julia Lawall
On Tue, 21 Jun 2016, Nicolas Palix (LIG) wrote: > Le 21/06/16 à 21:21, Luis R. Rodriguez a écrit : > > Help Coccinelle when used against Linux with a set of sensible defaults > > options for Linux. This hints to coccinelle git can be used for 'git grep' > > queries over coccigrep. A timeout of 200

Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Nicolas Palix (LIG)
Le 21/06/16 à 21:21, Luis R. Rodriguez a écrit : Help Coccinelle when used against Linux with a set of sensible defaults options for Linux. This hints to coccinelle git can be used for 'git grep' queries over coccigrep. A timeout of 200 seconds should suffice for now. If you use idutils you can

Re: [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Julia Lawall
On Tue, 21 Jun 2016, Luis R. Rodriguez wrote: > Help Coccinelle when used against Linux with a set of sensible defaults > options for Linux. This hints to coccinelle git can be used for 'git grep' > queries over coccigrep. A timeout of 200 seconds should suffice for now. > > If you use idutils yo

[PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

2016-06-21 Thread Luis R. Rodriguez
Help Coccinelle when used against Linux with a set of sensible defaults options for Linux. This hints to coccinelle git can be used for 'git grep' queries over coccigrep. A timeout of 200 seconds should suffice for now. If you use idutils you can override for 'make coccicheck' by using the SPFLAGS