diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-24 14:04:43 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-24 14:04:43 +0200 |
| commit | d1ed573636be4a5ce9057ac1e7bf4d131b4816e2 (patch) | |
| tree | e991843ef0d3204a60e89034cff41bd70838712f /executor/common_linux.h | |
| parent | beb957b7939d5039b8411737ef790b86d31c185c (diff) | |
Makefile: disable 32-bit executor build
Fails on travis...
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions