diff options
| -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, |