From: Joe Perches <joe@perches.com>
To: Julia Lawall <julia.lawall@lip6.fr>,
Masahiro Yamada <yamada.masahiro@socionext.com>
Cc: Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
Michal Marek <michal.lkml@markovi.net>,
Nicolas Palix <nicolas.palix@imag.fr>,
cocci@systeme.lip6.fr
Subject: Re: [PATCH] coccinelle: flags.cocci: reorganize patterns to improve efficiency
Date: Wed, 15 Nov 2017 14:02:27 -0800 [thread overview]
Message-ID: <1510783347.25299.2.camel@perches.com> (raw)
In-Reply-To: <alpine.DEB.2.20.1711152253270.2134@hadrien>
On Wed, 2017-11-15 at 22:55 +0100, Julia Lawall wrote:
> What version of Coccinelle do you have?
> > I tried 1.0.4 and 1.0.6,
> > but both failed.
> For me, it also fails for 1.0.6. It should be OK for 1.0.7.
Then likely this patch should not be applied or
some form of local version checking should be done
in the script itself.
Scripts that use various tools are subject to
language versioning requirements.
For instance, there are many things that are
possible with later versions of perl, but are not
done for various scripts because many distributions
do not ship with the latest versions.
next prev parent reply other threads:[~2017-11-15 22:02 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-12 16:08 [PATCH] coccinelle: flags.cocci: reorganize patterns to improve efficiency Julia Lawall
2017-11-15 14:46 ` Masahiro Yamada
2017-11-15 14:51 ` Julia Lawall
2017-11-15 15:26 ` Masahiro Yamada
2017-11-15 15:29 ` Julia Lawall
2017-11-15 21:55 ` Julia Lawall
2017-11-15 22:02 ` Joe Perches [this message]
2017-11-16 0:02 ` Masahiro Yamada
2017-11-16 7:31 ` Julia Lawall
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1510783347.25299.2.camel@perches.com \
--to=joe@perches.com \
--cc=cocci@systeme.lip6.fr \
--cc=julia.lawall@lip6.fr \
--cc=linux-kernel@vger.kernel.org \
--cc=michal.lkml@markovi.net \
--cc=nicolas.palix@imag.fr \
--cc=yamada.masahiro@socionext.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox