> Patch is appended. Ok to commit? We'll wait for Ulrich and Jakub to comment. > > That means you didn't lose anything. make check will always update all > > .out files, and then do check-abi (show you the diff). > > Excellent! Actually if you use -j but not -k, check-abi could fail first and make it bail. But it's unlikely.