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 /executor | |
| parent | a0f00cc5a05c4e3954578808e0fb75a3a3f5d89c (diff) | |
executor: add missing include
thread_start now uses errno, so include <errno.h>
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/common.h b/executor/common.h index 07cb7532c..89dfbd58c 100644 --- a/executor/common.h +++ b/executor/common.h @@ -233,6 +233,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) |