diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-06-19 18:56:54 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-06-19 18:56:54 +0000 |
commit | 105003e04b971e9f01ea3e8fb31f53f4756123ad (patch) | |
tree | 9f4b1680fe08f0b7ca8b19e1f55252d23073df89 /init/init.c | |
parent | bd81af8f477cebe3a4586a08add55080e0b8cb99 (diff) |
(S_startup_essential_task): fixup
Diffstat (limited to 'init/init.c')
-rw-r--r-- | init/init.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c index 5c0e5b81..433f6e70 100644 --- a/init/init.c +++ b/init/init.c @@ -1392,6 +1392,7 @@ S_startup_essential_task (mach_port_t server, struct ess_task *et; mach_port_t prev; static int authinit, procinit, execinit; + int fail; if (credential != host_priv) return EPERM; |