Add a TEST="..." line to testsuite output
authorIan Lynagh <ian@well-typed.com>
Thu, 7 Feb 2013 16:59:28 +0000 (16:59 +0000)
committerIan Lynagh <ian@well-typed.com>
Thu, 7 Feb 2013 16:59:28 +0000 (16:59 +0000)
commit79f3386cc90ba5a341485c0faae3c4ef1d3e011e
treedbf4fb5d2e4a2f16498fcc0441cfa7564243ad64
parent164f705faecd02a78a93970699a99bc00d94e8b2
Add a TEST="..." line to testsuite output

This gives hte list of tests with unexpected results, so that you can
easily run them again.
testsuite/driver/testlib.py