diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-03-07 17:09:01 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-03-07 17:09:01 +0100 |
| commit | 5490ce7f3bf8c413c504b133672b65074a92102b (patch) | |
| tree | fec999c6b2af50bbf689fd9626414b081b66593a | |
| parent | 7d45c12ce45d15aab93214ea214d6b5b4bbb8689 (diff) | |
drop merged patch
| -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 cdf659f..0000000 --- a/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch +++ /dev/null @@ -1,31 +0,0 @@ -From fe820bd2e22e5a0b5aa5bd50de3b06759e42af78 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 a11fb8e..57e7f41 100644 ---- a/kern/task.c -+++ b/kern/task.c -@@ -171,7 +171,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)", -+ sizeof new_task->name - 3, parent_task->name); - - if (new_task_notification != NULL) { - task_reference (new_task); --- -2.1.4 - diff --git a/debian/patches/series b/debian/patches/series index d0f85d2..fcb6f4b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,5 +8,4 @@ Add-some-padding-to-make-objects-fit-a-single-cache-.patch vm_cache_policy.patch vm_page_cleanq.patch task-load.patch -0001-kern-inherit-the-name-of-the-parent-task.patch revert-spl-thing.patch |