diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-05-21 11:54:11 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-05-21 11:54:11 +0200 |
commit | 06b8d8aca4eab8c77fae03c4ccd6b248a97c5258 (patch) | |
tree | f8a684a2319cd53d083590d885104f899265271d /build/root.build | |
parent | 8422530a8c2ed42527aee77ff0679f86a17a9a48 (diff) |
Temporarily instrument BLODA with shorter timeout and extra diagnostics
Diffstat (limited to 'build/root.build')
0 files changed, 0 insertions, 0 deletions