diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2020-01-06 00:59:10 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-07 10:02:02 +0100 |
| commit | 6738080fea5d3b851b442e354859cba4ef22e188 (patch) | |
| tree | 0b79298af55de25ec16630372eea5f2c23438bcf /executor/common_linux.h | |
| parent | 53430d97195bc8dc0221eaa2ea913237d82e199d (diff) | |
executor: setns requires including sched.h on some setups
Diffstat (limited to 'executor/common_linux.h')
| -rw-r--r-- | executor/common_linux.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index 618425bed..39d2374d9 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -671,6 +671,7 @@ error: #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI #include <fcntl.h> +#include <sched.h> static void initialize_devlink_pci(void) { |