diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/libports_stability.patch | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/debian/patches/libports_stability.patch b/debian/patches/libports_stability.patch index 4452807c..8fa22381 100644 --- a/debian/patches/libports_stability.patch +++ b/debian/patches/libports_stability.patch @@ -5,16 +5,12 @@ however it makes all threads often wake at the same time and overload Mach. libports/manage-multithread.c | 2 ++ 1 file changed, 2 insertions(+) -Index: hurd-debian/libports/manage-multithread.c -=================================================================== ---- hurd-debian.orig/libports/manage-multithread.c 2012-11-26 00:23:22.000000000 +0000 -+++ hurd-debian/libports/manage-multithread.c 2012-11-26 00:25:28.000000000 +0000 -@@ -243,6 +243,8 @@ +--- a/libports/manage-multithread.c ++++ b/libports/manage-multithread.c +@@ -233,5 +233,6 @@ ports_manage_port_operations_multithread return NULL; } + thread_timeout = global_timeout = 0; /* XXX */ -+ - nreqthreads = 1; - totalthreads = 1; thread_function ((void *) 1); + } |