diff options
Diffstat (limited to 'debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch')
-rw-r--r-- | debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch b/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch deleted file mode 100644 index 23892b3..0000000 --- a/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch +++ /dev/null @@ -1,25 +0,0 @@ -From 890a2f6228b479fd0a0084d6f7b0d36f43f28b74 Mon Sep 17 00:00:00 2001 -From: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Sun, 19 Jul 2015 18:50:29 +0200 -Subject: [PATCH gnumach 1/7] kern/bootstrap: deallocate task - -* kern/bootstrap.c (boot_script_free_task): Deallocate task. ---- - kern/bootstrap.c | 1 + - 1 file changed, 1 insertion(+) - -diff --git a/kern/bootstrap.c b/kern/bootstrap.c -index 50388ad..03f4f0f 100644 ---- a/kern/bootstrap.c -+++ b/kern/bootstrap.c -@@ -836,6 +836,7 @@ boot_script_free_task (task_t task, int aborting) - { - if (aborting) - task_terminate (task); -+ task_deallocate (task); - } - - int --- -2.1.4 - |