diff options
| -rw-r--r-- | emu/Linux/os.c | 4 | ||||
| -rw-r--r-- | include/version.h | 2 |
2 files changed, 1 insertions, 5 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 diff --git a/include/version.h b/include/version.h index 3b5c00c1..3baa45ad 100644 --- a/include/version.h +++ b/include/version.h @@ -1 +1 @@ -#define VERSION "Fourth Edition (20081028)" +#define VERSION "Fourth Edition (20081030)" |