diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-08 13:06:33 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-08 13:07:49 +0200 |
| commit | c00da3df66e3212ca3b6ab2a623e9fe5fe6d9e7f (patch) | |
| tree | 9359ffde3b9ab75a19ef3159e1bd1de7cf31ad17 /executor | |
| parent | 9a791c399266a650acac45ac55a066a84aad7c64 (diff) | |
prog: collect all prog comments
Parse and collect and prog comments.
Will be needed for runtest annotations
(e.g. "requires threaded mode", etc).
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions
