From 45bf9fcd0a8aff65f026d5e3d72bd869fc5b4bcf Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sun, 12 Jul 2015 14:57:26 +0200
Subject: drop part of patch

---
 debian/patches/fix-remount0001-fix-set-name.patch | 15 ---------------
 1 file changed, 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
-
-- 
cgit v1.2.3