diff options
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/executor/common.h b/executor/common.h index 6ba88ea3b..7255b7dc7 100644 --- a/executor/common.h +++ b/executor/common.h @@ -117,7 +117,11 @@ static void install_segv_handler() #endif #if !GOOS_linux -#if SYZ_EXECUTOR || SYZ_REPEAT && SYZ_EXECUTOR_USES_FORK_SERVER +#if (SYZ_EXECUTOR || SYZ_REPEAT) && SYZ_EXECUTOR_USES_FORK_SERVER +#include <signal.h> +#include <sys/types.h> +#include <sys/wait.h> + static void kill_and_wait(int pid, int* status) { kill(pid, SIGKILL); |