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 /pkg | |
| parent | 4b2ad42d418946035909ca755d1a254d35604e60 (diff) | |
executor: executor fix fuchsia build
Diffstat (limited to 'pkg')
| -rw-r--r-- | pkg/csource/fuchsia_common.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/csource/fuchsia_common.go b/pkg/csource/fuchsia_common.go index 69c91c4a4..0b509f0ff 100644 --- a/pkg/csource/fuchsia_common.go +++ b/pkg/csource/fuchsia_common.go @@ -9,6 +9,7 @@ var commonHeaderFuchsia = ` #define _GNU_SOURCE #endif +#include <ddk/driver.h> #include <fcntl.h> #include <poll.h> #include <signal.h> |