diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-02-01 16:18:22 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-02-01 19:43:52 +0100 |
| commit | e34c330b579d1715ea34ad36ef3bc820b25beb24 (patch) | |
| tree | 4e6b256b0de2bc2b9dc7ff78effd45d60d03b317 /pkg/csource/generated.go | |
| parent | a0f00cc5a05c4e3954578808e0fb75a3a3f5d89c (diff) | |
executor: add missing include
thread_start now uses errno, so include <errno.h>
Diffstat (limited to 'pkg/csource/generated.go')
| -rw-r--r-- | pkg/csource/generated.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go index bc238b0b0..85e0d15ec 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -218,6 +218,7 @@ static int fault_injected(int fail_fd) #if !GOOS_windows #if SYZ_EXECUTOR || SYZ_THREADED +#include <errno.h> #include <pthread.h> static void thread_start(void* (*fn)(void*), void* arg) |