ThreadData only needed when pthread is enabled
commit0597159d36e7f02cfe05fef7cad054d58d6e76be
authorJonas Claeson <jonas.cl@protonmail.com>
dateWed 20 Mar 2019, 10:39 (8 years ago)
parentb07cac6
rts/idris_rts.c+1−1
@@ -781,6 +781,7 @@ VAL idris_systemInfo(VM* vm, VAL index) {
781781 return MKSTR(vm, "");
782782}
783783
784+#ifdef HAS_PTHREAD
784785typedef struct {
785786 VM* vm; // thread's VM
786787 VM* callvm; // calling thread's VM
@@ -788,7 +789,6 @@ typedef struct {
788789 VAL arg;
789790} ThreadData;
790791
791−#ifdef HAS_PTHREAD
792792void* runThread(void* arg) {
793793 ThreadData* td = (ThreadData*)arg;
794794 VM* vm = td->vm;