diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-20 16:46:49 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-20 21:19:29 +0200 |
| commit | 9a0ed84dcaab67b13b5fedfeae6acd8bf1f5bdaf (patch) | |
| tree | 442a4831c359867e86f878e6bae23bc78d598d51 /executor/executor.cc | |
| parent | c7ff68231e6c9a054fc3df9348262f376c7b91b4 (diff) | |
executor: remove unused headers
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index ce8d0ed2f..cd0e406ff 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -8,7 +8,6 @@ #include <fcntl.h> #include <limits.h> #include <linux/futex.h> -#include <linux/reboot.h> #include <pthread.h> #include <setjmp.h> #include <signal.h> @@ -19,7 +18,6 @@ #include <string.h> #include <sys/ioctl.h> #include <sys/prctl.h> -#include <sys/reboot.h> #include <sys/stat.h> #include <sys/syscall.h> #include <sys/time.h> |