diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-10-16 18:41:30 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-10-16 18:41:30 +0200 |
commit | 7ccda22df064a5513eb8a3d6ca022811cd62ca78 (patch) | |
tree | 878d68026a82ab1711f5ccad2948c2b292627d14 /debian | |
parent | 1e0634f3603c5c294d7f10b4b285d704c6d2204a (diff) |
drop old patch series
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch | 31 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 32 deletions
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 |