diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-07 19:08:38 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-07 19:08:38 +0200 |
| commit | c9a7a4dccd8bf8153d409a7a78bc1804b41f5fff (patch) | |
| tree | ddcdc669b59a8772267fee83949ebcadc6c3e1a2 /executor | |
| parent | 4b2ad42d418946035909ca755d1a254d35604e60 (diff) | |
executor: executor fix fuchsia build
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common_fuchsia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/common_fuchsia.h b/executor/common_fuchsia.h index 347ac4edd..d9436e40a 100644 --- a/executor/common_fuchsia.h +++ b/executor/common_fuchsia.h @@ -7,6 +7,7 @@ #define _GNU_SOURCE #endif +#include <ddk/driver.h> #include <fcntl.h> #include <poll.h> #include <signal.h> |