diff options
-rw-r--r-- | boot/boot.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index 02af0688..826d7e60 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -105,7 +105,13 @@ restore_termstate () #define host_fstat fstat typedef struct stat host_stat_t; -#define host_exit exit + +void __attribute__ ((__noreturn__)) +host_exit (int status) +{ + restore_termstate (); + exit (status); +} #endif /* UX */ |