| commit | 1939a8866fccbef90167eeb644ba1fa517228ff9 | [log] [tgz] |
|---|---|---|
| author | Vladimir Marko <vmarko@google.com> | Thu Apr 07 10:12:31 2016 +0100 |
| committer | Vladimir Marko <vmarko@google.com> | Thu Apr 07 10:53:12 2016 +0100 |
| tree | 225a57bc12253e7ca9854bf564fdb2d69263c31a | |
| parent | 75563e34a4e64a8e805e6810b13e07f1cafec137 [diff] |
Add 20s timeout to 570-checker-osr. It's better to report a timeout than to hang indefinitely. Change-Id: Ibfa8059c8b44220c7a55801b020094fc342c8047