diff options
| -rw-r--r-- | debian/patches/merge-me-0002-startup-faster-reboots.patch | 25 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 26 deletions
diff --git a/debian/patches/merge-me-0002-startup-faster-reboots.patch b/debian/patches/merge-me-0002-startup-faster-reboots.patch deleted file mode 100644 index 1291b446..00000000 --- a/debian/patches/merge-me-0002-startup-faster-reboots.patch +++ /dev/null @@ -1,25 +0,0 @@ -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 - diff --git a/debian/patches/series b/debian/patches/series index 7af65350..47d3aea4 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -41,7 +41,6 @@ mount.patch startup-avoid-broken-puts.patch proc-task-notify-0005-proc-fix-build.patch -merge-me-0002-startup-faster-reboots.patch thomas_term.patch ajoin.patch proc_disable_new_task_notifications.patch |