On Thu, 2 Jul 2015, SF Markus Elfring wrote: > > But changing it at this point will not help to find the source > > of your problem. > > Do we talk about the same meaning for the directory name "lib"?
The issue is the sequence of letters /lib and /lib64, not what they mean. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
