static int killall(int argc, char *argv[]){
msg_task_t task = NULL;
- _XBT_GNUC_UNUSED int res;
+ XBT_ATTRIB_UNUSED int res;
int i;
for (i=0; i<3;i++) {
res = MSG_task_receive(&(task), mailbox);
MSG_launch_application(argv[2]);
res = MSG_main();
- if (res == MSG_OK)
- return 0;
- else
- return 1;
+ return res != MSG_OK;
}