diff options
Diffstat (limited to 'emu')
| -rw-r--r-- | emu/Linux/os.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/emu/Linux/os.c b/emu/Linux/os.c index 336d0443..c6a0b559 100644 --- a/emu/Linux/os.c +++ b/emu/Linux/os.c @@ -287,10 +287,6 @@ cleanexit(int x) void osreboot(char *file, char **argv) { - if(dflag == 0) - termrestore(); - execvp(file, argv); - error("reboot failure"); } void |