diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-06-22 15:58:37 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-06-22 16:35:52 +0300 |
| commit | 4de30ff5f24bc47e2fe95aed296206687ecfd829 (patch) | |
| tree | a41772654fdd1081660cc6c62394179cde5892da /tools/ci/flags | |
| parent | f6ae77d4d5728dbee51d107653d4775587e46f54 (diff) | |
| download | plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.tar.gz plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.tar.bz2 plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.tar.xz plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.zip | |
Add pause after crash in runtest.
Diffstat (limited to 'tools/ci/flags')
0 files changed, 0 insertions, 0 deletions