diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-14 21:03:13 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-14 21:03:13 +0200 |
commit | bc1d65586854f71f110e6499dd81551cc5fac4e1 (patch) | |
tree | 5bc699cf0d81c1d3e37359268b1e668871e0cc18 | |
parent | 45bf9fcd0a8aff65f026d5e3d72bd869fc5b4bcf (diff) |
fix patch
-rw-r--r-- | debian/patches/exec_filename_fs.patch | 3 |
1 files changed, 1 insertions, 2 deletions
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, |