From 585c03575926272c32a21202ef0552589aafaa51 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 27 Mar 2013 01:27:37 +0100 Subject: [PATCH] fix for windows -- not sure if it's still mandatory, but I guess so --- include/msg/msg.h | 2 +- src/msg/msg_mailbox.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/msg/msg.h b/include/msg/msg.h index 986a463507..0826da7363 100644 --- a/include/msg/msg.h +++ b/include/msg/msg.h @@ -300,7 +300,7 @@ XBT_PUBLIC(msg_error_t) MSG_mailbox_put_with_timeout(msg_mailbox_t mailbox, msg_task_t task, double timeout); -void MSG_mailbox_set_async(const char *alias); +XBT_PUBLIC(void) MSG_mailbox_set_async(const char *alias); /************************** Action handling **********************************/ diff --git a/src/msg/msg_mailbox.h b/src/msg/msg_mailbox.h index 9f3f37915c..f587002dcc 100644 --- a/src/msg/msg_mailbox.h +++ b/src/msg/msg_mailbox.h @@ -77,7 +77,7 @@ XBT_PUBLIC(int) MSG_mailbox_is_empty(msg_mailbox_t mailbox); * \param alias The alias of the mailbox to modify. * */ -void MSG_mailbox_set_async(const char *alias); +XBT_PUBLIC(void) MSG_mailbox_set_async(const char *alias); /*! \brief MSG_mailbox_get_head - get the task at the head of a mailbox. * -- 2.20.1