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