diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/feature-proc-set-task-name-to-pid.patch | 4 | ||||
| -rw-r--r-- | debian/patches/series | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/feature-proc-set-task-name-to-pid.patch b/debian/patches/feature-proc-set-task-name-to-pid.patch index de57d61e..5e6c3628 100644 --- a/debian/patches/feature-proc-set-task-name-to-pid.patch +++ b/debian/patches/feature-proc-set-task-name-to-pid.patch @@ -6,8 +6,8 @@ index 3ef742d..a9ae914 100644 SRCS = exec.c main.c hashexec.c hostarch.c OBJS = main.o hostarch.o exec.o hashexec.o \ -- execServer.o exec_startupServer.o -+ execServer.o exec_startupServer.o gnumachUser.o +- execServer.o exec_startupServer.o exec_experimentalServer.o ++ execServer.o exec_startupServer.o exec_experimentalServer.o gnumachUser.o target = exec #targets = exec exec.static diff --git a/debian/patches/series b/debian/patches/series index 0d0aaaea..b7ff0cd2 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,4 +1,3 @@ -feature-proc-set-task-name-to-pid.patch diskfs_no_inherit_dir_group.patch init_try_runsystem.gnu.patch makedev.diff @@ -48,3 +47,4 @@ xkb-compat.patch fix-get-children-source.patch diskfs-fix-fsys-receiver-lookups.patch netfs-fix-fsys-receiver-lookups.patch +feature-proc-set-task-name-to-pid.patch |