Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

2017-11-08 Thread Julia Lawall
On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-26 16:22 GMT+09:00 Nicolas Palix (LIG) : > > Le 26/10/17 à 06:55, Masahiro Yamada a écrit : > >> > >> If you run coccicheck with V=1 and COCCI=, you will see a strange > >> path to the semantic patch file. For example, run the following: > >>

Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

2017-11-06 Thread Masahiro Yamada
2017-10-26 16:22 GMT+09:00 Nicolas Palix (LIG) : > Le 26/10/17 à 06:55, Masahiro Yamada a écrit : >> >> If you run coccicheck with V=1 and COCCI=, you will see a strange >> path to the semantic patch file. For example, run the following: >> >> $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci c

Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

2017-10-28 Thread Masahiro Yamada
Hi Jim 2017-10-28 8:56 GMT+09:00 Jim Davis : > On Wed, Oct 25, 2017 at 9:55 PM, Masahiro Yamada > wrote: >> If you run coccicheck with V=1 and COCCI=, you will see a strange >> path to the semantic patch file. For example, run the following: >> >> $ make V=1 COCCI=scripts/coccinelle/free/kfree.c

Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

2017-10-27 Thread Jim Davis
On Wed, Oct 25, 2017 at 9:55 PM, Masahiro Yamada wrote: > If you run coccicheck with V=1 and COCCI=, you will see a strange > path to the semantic patch file. For example, run the following: > > $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci coccicheck > [ snip ] > The semantic patch tha

Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

2017-10-26 Thread Nicolas Palix (LIG)
Le 26/10/17 à 06:55, Masahiro Yamada a écrit : If you run coccicheck with V=1 and COCCI=, you will see a strange path to the semantic patch file. For example, run the following: $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci coccicheck [ snip ] The semantic patch that makes this repo

[PATCH] coccinelle: fix verbose message about .cocci file being run

2017-10-25 Thread Masahiro Yamada
If you run coccicheck with V=1 and COCCI=, you will see a strange path to the semantic patch file. For example, run the following: $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci coccicheck [ snip ] The semantic patch that makes this report is available in scriptcoccinelle/free/kfree.coc