From 7ffbd5d2140fc52c2bd79ad44b61a17e19055f6e Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Wed, 14 Jan 2015 02:14:46 +0100 Subject: drop old patch series --- ...2-startup-give-the-tasks-we-create-a-name.patch | 33 ---------------------- 1 file changed, 33 deletions(-) delete mode 100644 debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch (limited to 'debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch') diff --git a/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch b/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch deleted file mode 100644 index 95791b3a..00000000 --- a/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch +++ /dev/null @@ -1,33 +0,0 @@ -From 522370cfcd2dde29dac73e1479d64a6af614cc25 Mon Sep 17 00:00:00 2001 -From: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Fri, 9 Jan 2015 11:06:52 +0100 -Subject: [PATCH hurd 02/10] startup: give the tasks we create a name - -* startup/startup.c (run): Name the tasks we start. ---- - startup/startup.c | 2 ++ - 1 file changed, 2 insertions(+) - -diff --git a/startup/startup.c b/startup/startup.c -index 601c894..c9fe215 100644 ---- a/startup/startup.c -+++ b/startup/startup.c -@@ -33,6 +33,7 @@ - #include - #include - #include -+#include - #include - #include - #include -@@ -376,6 +377,7 @@ run (const char *server, mach_port_t *ports, task_t *task) - printf ("Pausing for %s\n", prog); - getchar (); - } -+ task_set_name (*task, (char *) prog); - err = file_exec (file, *task, 0, - (char *)prog, strlen (prog) + 1, /* Args. */ - startup_envz, startup_envz_len, --- -2.1.4 - -- cgit v1.2.3