Merge pull request #65 from raichoo/master
fix compile with gcc 7.2.1
commit20030b5623d888f2cda383c2ffdcc617034f6d11
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 30 Oct 2012, 11:15 (14 years ago)
parente3aeee9d037f7d
rts/idris_rts.c+1
@@ -477,6 +477,7 @@ VAL idris_recvMessage(VM* vm) {
477477 timeout.tv_nsec = 0;
478478 status = pthread_cond_timedwait(&vm->inbox_waiting, &vm->inbox_block,
479479 &timeout);
480+ (void)(status); //don't emit 'unused' warning
480481// printf("Waiting [unlock]... %d\n", status);
481482 msg = *(vm->inbox_ptr);
482483 }