Hello, Jan Nieuwenhuizen, le jeu. 19 mars 2020 15:47:38 +0100, a ecrit: > > Actually we do not want to succeed just because it finds libs from /lib > > or /usr/lib > > Ok. So, updated patch attached (the commit message was really off now > that we understand better what's going on; changed that too).
Applied with just a couple fixes, thanks! Samuel
