diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-02-11 18:35:46 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-02-11 18:35:46 +0100 |
| commit | 65a0d61939d258fe7c6bc6666315603f7a2e52de (patch) | |
| tree | 40d96538dd19e4f71f8ed6fb37f16497ec79f2ad /executor/executor.cc | |
| parent | a39e52b1cd39d5d3b80a8a379554461a4b31fbc8 (diff) | |
pkg/host: don't fail if CONFIG_FAIL_FUTEX is not enabled
See #991 and added comments.
Fixes #991
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions