diff options
author | Michael I. Bushnell <mib@gnu.org> | 1993-11-10 20:46:16 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1993-11-10 20:46:16 +0000 |
commit | 4e66e517913ef39ad2a3627a8f1ce3fcdfe15e6a (patch) | |
tree | 58a5121e36ffaebc64c2d647fe5f0c523c471821 | |
parent | 8f69f09a3699190612799024d89aa771f2ebd843 (diff) |
Formerly boot.c.~5~
-rw-r--r-- | boot/boot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index a1bef66d..6913a39f 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -516,6 +516,6 @@ do_mach_notify_dead_name (mach_port_t notify, mach_port_t name) { if (name == child_task && notify == bootport) - exit (); + _exit (0); } |