diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-26 16:14:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-26 16:14:12 +0100 |
| commit | edb0141529e09ca152803885cd94e1e3915d4ca9 (patch) | |
| tree | 9c16760a7f1fc59dad655533bf90c02b55ca2bb5 /executor/executor.cc | |
| parent | 51ed7072cd468e7e3bec76c3412df77656bbddea (diff) | |
| parent | a0a4a8ed95f53d206394c9b432ab37eef55c013d (diff) | |
Merge pull request #119 from billy-lau/fix_adb_reboot2
adb: executor: Revert to adb reboot
Diffstat (limited to 'executor/executor.cc')
| -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"); |