summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--init/init.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c
index c15381dc..902c2fc5 100644
--- a/init/init.c
+++ b/init/init.c
@@ -134,6 +134,7 @@ reboot_mach (int flags)
{
printf ("init: %sing Mach (flags %#x)...\n", BOOT (flags), flags);
fflush (stdout);
+ sleep (5);
while ((errno = host_reboot (host_priv, flags)))
perror ("host_reboot");
for (;;);