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 /pkg/csource/generated.go | |
| parent | 53430d97195bc8dc0221eaa2ea913237d82e199d (diff) | |
executor: setns requires including sched.h on some setups
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 45638335b..e549d33d3 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -1696,6 +1696,7 @@ error: #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI #include <fcntl.h> +#include <sched.h> static void initialize_devlink_pci(void) { |