diff options
-rw-r--r-- | libports/dead-name.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libports/dead-name.c b/libports/dead-name.c index 8c8029fc..93637718 100644 --- a/libports/dead-name.c +++ b/libports/dead-name.c @@ -21,9 +21,8 @@ #include "ports.h" #include <mach/notify.h> -void -__ports_dead_name (void *notify, mach_port_t dead_name) +void __attribute__ ((weak)) +ports_dead_name (void *notify, mach_port_t dead_name) { ports_interrupt_notified_rpcs (notify, dead_name, MACH_NOTIFY_DEAD_NAME); } -weak_alias (__ports_dead_name, ports_dead_name); |