diff options
| -rw-r--r-- | debian/patches/fix-remount0001-fix-set-name.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/debian/patches/fix-remount0001-fix-set-name.patch b/debian/patches/fix-remount0001-fix-set-name.patch index c4cd0d98..249baca9 100644 --- a/debian/patches/fix-remount0001-fix-set-name.patch +++ b/debian/patches/fix-remount0001-fix-set-name.patch @@ -74,18 +74,3 @@ index ee500d7..59270dd 100644 /* Create the initial thread. */ e.error = thread_create (newtask, &thread); -diff --git a/startup/startup.c b/startup/startup.c -index da78b13..e916768 100644 ---- a/startup/startup.c -+++ b/startup/startup.c -@@ -377,7 +377,6 @@ 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 - |