diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-02 17:47:28 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-02 17:47:28 +0100 |
commit | f39203b1de576e8f15afb2bf7cf6442b3421b570 (patch) | |
tree | d7237787037638b194d8fab83f36993ffdb0d015 | |
parent | c2ed7082c1c56582ca882fd8dd5b9721f311cf0c (diff) |
fix proc_set_init_task.patch
-rw-r--r-- | debian/patches/proc_set_init_task.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/proc_set_init_task.patch b/debian/patches/proc_set_init_task.patch index ae29d914..fe76ac02 100644 --- a/debian/patches/proc_set_init_task.patch +++ b/debian/patches/proc_set_init_task.patch @@ -253,7 +253,7 @@ struct port_bucket *proc_bucket; struct port_class *proc_class; -@@ -190,27 +192,7 @@ void exc_clean (void *); +@@ -190,7 +192,7 @@ void exc_clean (void *); struct proc *add_tasks (task_t); int pidfree (pid_t); |