Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-11-08 Thread Julia Lawall
On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-26 16:26 GMT+09:00 Nicolas Palix (LIG) : > > Le 26/10/17 à 06:59, Julia Lawall a écrit : > >> > >> > >> > >> On Thu, 26 Oct 2017, Masahiro Yamada wrote: > >> > >>> Currently, the required version for badzero.cocci is

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-11-08 Thread Julia Lawall
On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-26 16:26 GMT+09:00 Nicolas Palix (LIG) : > > Le 26/10/17 à 06:59, Julia Lawall a écrit : > >> > >> > >> > >> On Thu, 26 Oct 2017, Masahiro Yamada wrote: > >> > >>> Currently, the required version for badzero.cocci is picked up from > >>> its

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-11-06 Thread Masahiro Yamada
2017-10-26 16:26 GMT+09:00 Nicolas Palix (LIG) : > Le 26/10/17 à 06:59, Julia Lawall a écrit : >> >> >> >> On Thu, 26 Oct 2017, Masahiro Yamada wrote: >> >>> Currently, the required version for badzero.cocci is picked up from >>> its "Comments:" line since it contains the

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-11-06 Thread Masahiro Yamada
2017-10-26 16:26 GMT+09:00 Nicolas Palix (LIG) : > Le 26/10/17 à 06:59, Julia Lawall a écrit : >> >> >> >> On Thu, 26 Oct 2017, Masahiro Yamada wrote: >> >>> Currently, the required version for badzero.cocci is picked up from >>> its "Comments:" line since it contains the word "Requires". >>> >>>

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-10-26 Thread Nicolas Palix (LIG)
Le 26/10/17 à 06:59, Julia Lawall a écrit : On Thu, 26 Oct 2017, Masahiro Yamada wrote: Currently, the required version for badzero.cocci is picked up from its "Comments:" line since it contains the word "Requires". Surprisingly, ld-version.sh can extract the version number from the string

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-10-26 Thread Nicolas Palix (LIG)
Le 26/10/17 à 06:59, Julia Lawall a écrit : On Thu, 26 Oct 2017, Masahiro Yamada wrote: Currently, the required version for badzero.cocci is picked up from its "Comments:" line since it contains the word "Requires". Surprisingly, ld-version.sh can extract the version number from the string

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-10-25 Thread Julia Lawall
On Thu, 26 Oct 2017, Masahiro Yamada wrote: > Currently, the required version for badzero.cocci is picked up from > its "Comments:" line since it contains the word "Requires". > > Surprisingly, ld-version.sh can extract the version number from the > string "Requires Coccinelle version

Re: [PATCH] coccinelle: grep Options and Requires fields more precisely

2017-10-25 Thread Julia Lawall
On Thu, 26 Oct 2017, Masahiro Yamada wrote: > Currently, the required version for badzero.cocci is picked up from > its "Comments:" line since it contains the word "Requires". > > Surprisingly, ld-version.sh can extract the version number from the > string "Requires Coccinelle version

[PATCH] coccinelle: grep Options and Requires fields more precisely

2017-10-25 Thread Masahiro Yamada
Currently, the required version for badzero.cocci is picked up from its "Comments:" line since it contains the word "Requires". Surprisingly, ld-version.sh can extract the version number from the string "Requires Coccinelle version 1.0.0-rc20 or later", but this expectation is fragile. Fix the

[PATCH] coccinelle: grep Options and Requires fields more precisely

2017-10-25 Thread Masahiro Yamada
Currently, the required version for badzero.cocci is picked up from its "Comments:" line since it contains the word "Requires". Surprisingly, ld-version.sh can extract the version number from the string "Requires Coccinelle version 1.0.0-rc20 or later", but this expectation is fragile. Fix the