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 /debian/patches/feature-proc-set-task-name-to-pid.patch | |
| parent | beea9e5dfe5541ab568262ea38399298054cbf58 (diff) | |
update feature-proc-set-task-name-to-pid.patch, move to end of series
Diffstat (limited to 'debian/patches/feature-proc-set-task-name-to-pid.patch')
| -rw-r--r-- | debian/patches/feature-proc-set-task-name-to-pid.patch | 4 |
1 files changed, 2 insertions, 2 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 |