From bc1d65586854f71f110e6499dd81551cc5fac4e1 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 14 Jul 2015 21:03:13 +0200
Subject: fix patch

---
 debian/patches/exec_filename_fs.patch | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'debian')

diff --git a/debian/patches/exec_filename_fs.patch b/debian/patches/exec_filename_fs.patch
index 15054fdb..d1e96cd7 100644
--- a/debian/patches/exec_filename_fs.patch
+++ b/debian/patches/exec_filename_fs.patch
@@ -233,10 +233,9 @@ Index: hurd-debian/startup/startup.c
  #include <hurd/fsys.h>
  #include <device/device.h>
  #include <stdio.h>
-@@ -376,13 +379,28 @@ run (const char *server, mach_port_t *po
+@@ -376,12 +379,27 @@ run (const char *server, mach_port_t *po
  	      getchar ();
  	    }
-           task_set_name (*task, (char *) prog);
 -	  err = file_exec (file, *task, 0,
 -			   (char *)prog, strlen (prog) + 1, /* Args.  */
 -			   startup_envz, startup_envz_len,
-- 
cgit v1.2.3