From 7ccda22df064a5513eb8a3d6ca022811cd62ca78 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 16 Oct 2014 18:41:30 +0200
Subject: drop old patch series

---
 ...-kern-inherit-the-name-of-the-parent-task.patch | 31 ----------------------
 debian/patches/series                              |  1 -
 2 files changed, 32 deletions(-)
 delete mode 100644 debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch

(limited to 'debian')

diff --git a/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch b/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
deleted file mode 100644
index 514ee94..0000000
--- a/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
+++ /dev/null
@@ -1,31 +0,0 @@
-From 2e463d850c1a616dd72dc3721d8ba012c5fbca88 Mon Sep 17 00:00:00 2001
-From: Justus Winter <4winter@informatik.uni-hamburg.de>
-Date: Thu, 16 Oct 2014 18:13:39 +0200
-Subject: [PATCH gnumach] kern: inherit the name of the parent task
-
-* kern/task.c (task_create): Inherit the name of the parent task.
----
- kern/task.c | 7 ++++++-
- 1 file changed, 6 insertions(+), 1 deletion(-)
-
-diff --git a/kern/task.c b/kern/task.c
-index 20acc6a..214db16 100644
---- a/kern/task.c
-+++ b/kern/task.c
-@@ -167,7 +167,12 @@ kern_return_t task_create(
- 	}
- #endif	/* FAST_TAS */
- 
--	snprintf (new_task->name, sizeof new_task->name, "%p", new_task);
-+	if (parent_task == TASK_NULL)
-+		snprintf (new_task->name, sizeof new_task->name, "%p",
-+			  new_task);
-+	else
-+		snprintf (new_task->name, sizeof new_task->name, "(%s)",
-+			  parent_task->name);
- 
- 	ipc_task_enable(new_task);
- 
--- 
-2.1.1
-
diff --git a/debian/patches/series b/debian/patches/series
index ef153ae..b8a9730 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,4 +5,3 @@
 70_dde.patch
 
 Add-some-padding-to-make-objects-fit-a-single-cache-.patch
-0001-kern-inherit-the-name-of-the-parent-task.patch
-- 
cgit v1.2.3