On Sat, 21 Sep 2013, Torbjorn Granlund wrote: > Vincent Lefevre <vincent at vinc17.net> writes: > > I haven't tried: the "make check" stopped early because of these > two failures. > > make -k? That and getting rid of -fno-sanitize-recover. Seriously, you asked it to stop... -- Marc Glisse