diff options
| author | Michael Vogt <mvo@debian.org> | 2013-10-22 21:38:45 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-10-22 21:38:45 +0200 |
| commit | 2b4e2e839ad6031061ffb0c58b1065a744d5a300 (patch) | |
| tree | 644a0b8d2000fa18514d423be04f9f3e97c16b5c /doc/en/makefile | |
| parent | 4c9234d668bc1a250fd1af4c5d90497a08be67fd (diff) | |
test/integration/run-tests: output the failed test names
Diffstat (limited to 'doc/en/makefile')
0 files changed, 0 insertions, 0 deletions