diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-07-27 11:50:14 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-07-27 11:50:14 -0400 |
| commit | a483e1f85dd78be6f9d6b8cdb024859983ec1f55 (patch) | |
| tree | bf5aa0ec6971a382b2d5c927c986e7e508d62b53 /bin | |
| parent | 86468257446cf8639bc1e0d3b4cbe382321582a5 (diff) | |
Test suite: add -v (verbose) option to runtests
Logging PIDs makes finding the right message in kernel debug traces
easier...
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions