diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-03-10 21:41:24 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-10 21:41:24 +0300 |
| commit | c480878e4d571ef158250d74b51ed5924276e4c0 (patch) | |
| tree | 422dd3998f51536da5926708eacbd977cc90f252 /executor/test_executor.cc | |
| parent | 3816386feb0d83d60dfe0745f52bf93c8679c75d (diff) | |
| parent | fc93e6ec5763080500faec9dd70670389dfb05b0 (diff) | |
Merge pull request #145 from xairy/odroid2
vm: build odroid vm only if odroid build tag is present
Diffstat (limited to 'executor/test_executor.cc')
0 files changed, 0 insertions, 0 deletions