On Mon, Jul 22, 2019 at 10:04:58AM +0200, Christoph Böhmwalder wrote:
> On 20.07.19 18:39, Julia Lawall wrote:
> > What version of Coccinelle of do you have? I get the correct output on
> > this example:
> >
> > diff =
> > --- attr.c
> > +++ /tmp/cocci-output-153931-8de7ba-attr.c
> > @@ -1,4 +1,4 @@
> > int main()
> > {
> > - COCCI_REPLACE_THIS();
> > + int x__attribute__((some_attr));
> > }
> >
> > julia
> >
>
> I was running 1.0.4.deb-3build4, which is just what you get when you run
> `apt install coccinelle` on Ubuntu bionic.
> I just built the latest HEAD from GitHub and the bug indeed seems fixed.
> Maybe a version bump of the Ubuntu repos would be appropriate?
Try this:
https://launchpad.net/~npalix/+archive/ubuntu/coccinelle
But it is always advised to use the latest source.
> Thanks,
> Christoph
>
> --
> Christoph Böhmwalder
> LINBIT | Keeping the Digital World Running
> DRBD HA — Disaster Recovery — Software defined Storage
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
--
Himanshu Jha
Undergraduate Student
Department of Electronics & Communication
Guru Tegh Bahadur Institute of Technology
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
