On Thu, Mar 13, 2014 at 11:12 AM, Joseph S. Myers <joseph@codesourcery.com> wrote: > Here is a version revised to exit with error status if any FAILs occur > (and with correspondingly reworked documentation). Tested x86_64. FWIW, this revised version looks good to me. - Brooks