summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 11:34:13 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 11:34:13 +0200
commit0e8de259d1f0fed83a83a8932d59713ed300cef2 (patch)
treea61890f9503e4a9fe8407b07018e2bd68575da2a
parent610efdc69e0d87cac141a323e60fbb6af57b3ed5 (diff)
fix? make_send_right.patch
-rw-r--r--debian/patches/make_send_right.patch4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/make_send_right.patch b/debian/patches/make_send_right.patch
index e78dc0f..6b2501f 100644
--- a/debian/patches/make_send_right.patch
+++ b/debian/patches/make_send_right.patch
@@ -1,5 +1,5 @@
diff --git a/kern/bootstrap.c b/kern/bootstrap.c
-index d919e90..d863d0f 100644
+index d919e90..ff0d0ea 100644
--- a/kern/bootstrap.c
+++ b/kern/bootstrap.c
@@ -98,7 +98,7 @@ task_insert_send_right(
@@ -7,7 +7,7 @@ index d919e90..d863d0f 100644
kr = mach_port_insert_right(task->itk_space, name,
- port, MACH_MSG_TYPE_PORT_SEND);
-+ port, MACH_MSG_TYPE_MAKE_SEND);
++ port, MACH_MSG_TYPE_COPY_SEND);
if (kr == KERN_SUCCESS)
break;
assert(kr == KERN_NAME_EXISTS);