On 2019-02-27 15:12:24 +0000, Alastair McKinstry wrote: > Where did you see this error ? I cannot repeat it. Builds work fine locally > / pdebuild, and it appears the buildds ?
When attempting to rebuild libtool on a machine. A second build (after a reboot due to an issue with the nouveau driver that made the machine very slow) was fine, though. Still, it appears that the test is wrong and can yield failures like there. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)