From 6214a1df308f46738a832b04489200127e59a927 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 17 Dec 2014 11:43:09 +0100
Subject: [PATCH hurd 2/2] startup: faster reboots

---
 startup/startup.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/startup/startup.c b/startup/startup.c
index 601c894..ebd0e12 100644
--- a/startup/startup.c
+++ b/startup/startup.c
@@ -176,7 +176,7 @@ reboot_mach (int flags)
       printf ("%s: %sing Mach (flags %#x)...\n",
 	      program_invocation_short_name, BOOT (flags), flags);
       fflush (stdout);
-      sleep (5);
+      sleep (1);
       while ((err = host_reboot (host_priv, flags)))
 	error (0, err, "reboot");
       for (;;);
-- 
2.1.3