> The issue is the sequence of letters /lib and /lib64, not what they mean.
I would like to be sure that such names refer to the usual directories for shared libraries (and not to an folder anywhere else). Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
