}
}
-static int worker_fun(int argc, char *argv[])
+static int worker_fun(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
{
const char *pr_name = MSG_process_get_name(MSG_process_self());
char mbox[MAXMBOXLEN];
return 0;
}
-static int master_fun(int argc, char *argv[])
+static int master_fun(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
{
msg_vm_t vm;
unsigned int i;