From 7be67904e796182508d73e6e98efd3f703cc715f Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Thu, 28 Oct 1993 20:58:48 +0000
Subject: Formerly startup.defs.~19~

---
 hurd/startup.defs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hurd/startup.defs b/hurd/startup.defs
index 72015bd7..ef07b9eb 100644
--- a/hurd/startup.defs
+++ b/hurd/startup.defs
@@ -27,6 +27,9 @@ subsystem startup 29000;
 STARTUP_IMPORTS
 #endif
 
+type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic
+	ctype: mach_port_t;
+
 /* This call registers a task as "essential", which means that if it
    dies, the system should crash.  If the specified task dies or an
    exception message is sent to the exception port, then we will print
-- 
cgit v1.2.3