On Tue, Jul 19, 2016 at 12:07:42PM +0200, Julia Lawall wrote: > > > On Tue, 19 Jul 2016, Richard W.M. Jones wrote: > > > On Wed, Oct 28, 2015 at 11:06:34PM +0100, Julia Lawall wrote: > > > Version 1.0.4 is released. This removes the make of spgen when making > > > spatch, removes the pre-generated menhir file when menhir is available, > > > and adds the ability to reason about the lengths of statement lists. > > > > This problem has reoccured in 1.0.5. The generated files must > > be removed first, if compiling with external menhir. > > OK. I think this problem has been fixed, but we need to make a new > release. Maybe you should just wait for 1.0.6, if it is causing a > problem. Thanks for the report.
It's no problem - I have added a workaround in the RPM build. I was just noting that the workaround was necessary. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-builder quickly builds VMs from scratch http://libguestfs.org/virt-builder.1.html _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci