On Tue, Jun 23, 2015 at 11:57:01AM +0200, SF Markus Elfring wrote: > > What about configure ? > > > > In case I missed something could you tell me the distrib you are using ? > > I guess that my usage of openSUSE does not really matter here. >
I ran into the same issue FWIW, and also using OpenSUSE. I used the same fix if I remember correctly. Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
