diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-21 15:43:39 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-21 15:43:39 +0100 |
| commit | c97d810f36b8fa1e9f09e64eda50c3e7340b1eb0 (patch) | |
| tree | 9e94e7bae8242b2402cb21f2016c3f77edc3beef | |
| parent | beea9e5dfe5541ab568262ea38399298054cbf58 (diff) | |
update feature-proc-set-task-name-to-pid.patch, move to end of series
| -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 |