Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-20 Thread Michal Marek
On Sun, Jun 12, 2016 at 11:45:57PM +0200, Julia Lawall wrote: > > > On Sun, 12 Jun 2016, Nicolas Palix (LIG) wrote: > > > Le 12/06/16 à 21:04, Deepa Dinamani a écrit : > > > Documentation/coccinelle.txt suggests using the SPFLAGS > > > make variable to pass additional options to spatch. > > >

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-20 Thread Michal Marek
On Sun, Jun 12, 2016 at 11:45:57PM +0200, Julia Lawall wrote: > > > On Sun, 12 Jun 2016, Nicolas Palix (LIG) wrote: > > > Le 12/06/16 à 21:04, Deepa Dinamani a écrit : > > > Documentation/coccinelle.txt suggests using the SPFLAGS > > > make variable to pass additional options to spatch. > > >

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Nicolas Palix (LIG) wrote: > Le 12/06/16 à 21:04, Deepa Dinamani a écrit : > > Documentation/coccinelle.txt suggests using the SPFLAGS > > make variable to pass additional options to spatch. > > > > Reorder the way SPFLAGS is added to FLAGS, to allow > > for options in the

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Nicolas Palix (LIG) wrote: > Le 12/06/16 à 21:04, Deepa Dinamani a écrit : > > Documentation/coccinelle.txt suggests using the SPFLAGS > > make variable to pass additional options to spatch. > > > > Reorder the way SPFLAGS is added to FLAGS, to allow > > for options in the

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Nicolas Palix (LIG)
Le 12/06/16 à 21:04, Deepa Dinamani a écrit : Documentation/coccinelle.txt suggests using the SPFLAGS make variable to pass additional options to spatch. Reorder the way SPFLAGS is added to FLAGS, to allow for options in the SPFLAGS to override the default --very-quiet option. Similarly,

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Nicolas Palix (LIG)
Le 12/06/16 à 21:04, Deepa Dinamani a écrit : Documentation/coccinelle.txt suggests using the SPFLAGS make variable to pass additional options to spatch. Reorder the way SPFLAGS is added to FLAGS, to allow for options in the SPFLAGS to override the default --very-quiet option. Similarly,

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Deepa Dinamani wrote: > >> >> Documentation/coccinelle.txt suggests using the SPFLAGS > >> >> make variable to pass additional options to spatch. > >> >> > >> >> Reorder the way SPFLAGS is added to FLAGS, to allow > >> >> for options in the SPFLAGS to override the default >

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Deepa Dinamani wrote: > >> >> Documentation/coccinelle.txt suggests using the SPFLAGS > >> >> make variable to pass additional options to spatch. > >> >> > >> >> Reorder the way SPFLAGS is added to FLAGS, to allow > >> >> for options in the SPFLAGS to override the default >

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Deepa Dinamani
>> >> Documentation/coccinelle.txt suggests using the SPFLAGS >> >> make variable to pass additional options to spatch. >> >> >> >> Reorder the way SPFLAGS is added to FLAGS, to allow >> >> for options in the SPFLAGS to override the default >> >> --very-quiet option. >> >> >> >> Similarly,

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Deepa Dinamani
>> >> Documentation/coccinelle.txt suggests using the SPFLAGS >> >> make variable to pass additional options to spatch. >> >> >> >> Reorder the way SPFLAGS is added to FLAGS, to allow >> >> for options in the SPFLAGS to override the default >> >> --very-quiet option. >> >> >> >> Similarly,

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Deepa Dinamani wrote: > >> Documentation/coccinelle.txt suggests using the SPFLAGS > >> make variable to pass additional options to spatch. > >> > >> Reorder the way SPFLAGS is added to FLAGS, to allow > >> for options in the SPFLAGS to override the default > >> --very-quiet

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Deepa Dinamani wrote: > >> Documentation/coccinelle.txt suggests using the SPFLAGS > >> make variable to pass additional options to spatch. > >> > >> Reorder the way SPFLAGS is added to FLAGS, to allow > >> for options in the SPFLAGS to override the default > >> --very-quiet

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Deepa Dinamani
>> Documentation/coccinelle.txt suggests using the SPFLAGS >> make variable to pass additional options to spatch. >> >> Reorder the way SPFLAGS is added to FLAGS, to allow >> for options in the SPFLAGS to override the default >> --very-quiet option. >> >> Similarly, rearrage the FLAGS for org or

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Deepa Dinamani
>> Documentation/coccinelle.txt suggests using the SPFLAGS >> make variable to pass additional options to spatch. >> >> Reorder the way SPFLAGS is added to FLAGS, to allow >> for options in the SPFLAGS to override the default >> --very-quiet option. >> >> Similarly, rearrage the FLAGS for org or

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Deepa Dinamani wrote: > Documentation/coccinelle.txt suggests using the SPFLAGS > make variable to pass additional options to spatch. > > Reorder the way SPFLAGS is added to FLAGS, to allow > for options in the SPFLAGS to override the default > --very-quiet option. > >

Re: [PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Julia Lawall
On Sun, 12 Jun 2016, Deepa Dinamani wrote: > Documentation/coccinelle.txt suggests using the SPFLAGS > make variable to pass additional options to spatch. > > Reorder the way SPFLAGS is added to FLAGS, to allow > for options in the SPFLAGS to override the default > --very-quiet option. > >

[PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Deepa Dinamani
Documentation/coccinelle.txt suggests using the SPFLAGS make variable to pass additional options to spatch. Reorder the way SPFLAGS is added to FLAGS, to allow for options in the SPFLAGS to override the default --very-quiet option. Similarly, rearrage the FLAGS for org or report mode. This

[PATCH] coccicheck: Allow for overriding spatch flags

2016-06-12 Thread Deepa Dinamani
Documentation/coccinelle.txt suggests using the SPFLAGS make variable to pass additional options to spatch. Reorder the way SPFLAGS is added to FLAGS, to allow for options in the SPFLAGS to override the default --very-quiet option. Similarly, rearrage the FLAGS for org or report mode. This