diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-29 13:03:51 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-29 13:03:51 +0200 |
| commit | 9efa2eab698f83f1f3ed7df14af83c28c002bca7 (patch) | |
| tree | d6d79df28ef58d87ec57b7334b538c7ab72c2f57 /executor | |
| parent | c45c8c2a073829a4183545e6f75644f6674dd220 (diff) | |
dashboard/app: allow empty CompilerID in Build
Some OSes don't require a compiler.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions