@@ -477,6 +477,7 @@ VAL idris_recvMessage(VM* vm) {
477 timeout.tv_nsec = 0;
477 timeout.tv_nsec = 0;
478 status = pthread_cond_timedwait(&vm->inbox_waiting, &vm->inbox_block,
478 status = pthread_cond_timedwait(&vm->inbox_waiting, &vm->inbox_block,
479 &timeout);
479 &timeout);
480+ (void)(status); //don't emit 'unused' warning
480// printf("Waiting [unlock]... %d\n", status);
481// printf("Waiting [unlock]... %d\n", status);
481 msg = *(vm->inbox_ptr);
482 msg = *(vm->inbox_ptr);