diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/executor.cc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 03999559a..165d2c7e2 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -133,11 +133,6 @@ uint64_t cover_dedup(thread_t* th, uint64_t n); int main(int argc, char** argv) { - if (argc == 2 && strcmp(argv[1], "reboot") == 0) { - reboot(LINUX_REBOOT_CMD_RESTART); - return 0; - } - prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0); if (mmap(&input_data[0], kMaxInput, PROT_READ, MAP_PRIVATE | MAP_FIXED, kInFd, 0) != &input_data[0]) fail("mmap of input file failed"); |