The check-abi target does not write it's results to a .sum file, which contrib/test_summary can include. Should the test results be appended to the libstdc++-v3.sum file, or should a new check-abi.sum file be used, which is read by the test_summary script? Matthias