wip

ygrek · Aug 21, 2024 · b6faf0a · b6faf0a
1 parent 98767a1
commit b6faf0a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -59,7 +59,7 @@ jobs:
       # https://github.com/ocaml/setup-ocaml/issues/815#issuecomment-2204838759
       # SHELLOPTS workaround for windows
       # setting SHELLOPTS via GITHUB_ENV didn't work for some reason
-      - run: opam exec -- env SHELLOPTS=igncr sh ./configure --enable-debug
+      - run: opam exec -- env SHELLOPTS=igncr sh ./configure --enable-debug --disable-pthread
 
       - run: opam exec -- make
 

diff --git a/src/utils/lib/stubs_c.c b/src/utils/lib/stubs_c.c
@@ -785,7 +785,7 @@ value ml_ip_job_start(value job_v)
 
   char *hostname = String_val(Field(job_v,0));
   if(ml_gethostbyname(hostname)){
-    Store_field(job_v, 1, addr_list_of_job())
+    Store_field(job_v, 1, addr_list_of_job());
     Store_field(job_v, 2, Val_false);
   } else {
     Store_field(job_v, 2, Val_true);