I am very sorry, I must have made a mistake before I have successfully
reproduced the bug
I am working on fixing it now.
On 02/07/2015 10:11, Julia Lawall wrote:
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
