diff options
| -rw-r--r-- | debian/patches/libports_interrupt_lookup.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/patches/libports_interrupt_lookup.patch b/debian/patches/libports_interrupt_lookup.patch index 1dc291be..b914bf10 100644 --- a/debian/patches/libports_interrupt_lookup.patch +++ b/debian/patches/libports_interrupt_lookup.patch @@ -21,6 +21,18 @@ index 6060fa4..129a68c 100644 type proccoll_t = mach_port_copy_send_t; +diff --git a/hurd/hurd_types.h b/hurd/hurd_types.h +index d569454..8eac206 100644 +--- a/hurd/hurd_types.h ++++ b/hurd/hurd_types.h +@@ -47,6 +47,7 @@ typedef mach_port_t addr_port_t; + typedef mach_port_t startup_t; + typedef mach_port_t fs_notify_t; + typedef mach_port_t exec_startup_t; ++typedef mach_port_t interrupt_t; + typedef mach_port_t proccoll_t; + + #include <errno.h> /* Defines `error_t'. */ diff --git a/hurd/interrupt.defs b/hurd/interrupt.defs index cc3ad1e..9981aed 100644 --- a/hurd/interrupt.defs |