add missing HAS_PTHREAD wrapper
commit280665ca544ce084847ccae2f507b19990de2985
authorHeather <heather@live.ru>
dateWed 18 Feb 2015, 15:49 (12 years ago)
parentfca8309
rts/idris_rts.c+2
@@ -64,7 +64,9 @@ VM* init_vm(int stack_size, size_t heap_size,
6464}
6565
6666void init_threadkeys() {
67+#ifdef HAS_PTHREAD
6768 pthread_key_create(&vm_key, (void*)free_key);
69+#endif
6870}
6971
7072void init_threaddata(VM *vm) {