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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
16 matches
Mail list logo
