From b6faf0a6e9db3a152028900885aaacd6bee6c53c Mon Sep 17 00:00:00 2001 From: ygrek Date: Tue, 20 Aug 2024 21:46:40 -0400 Subject: [PATCH] wip --- .github/workflows/workflow.yml | 2 +- src/utils/lib/stubs_c.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index e7b9ad49d..5f12005e8 100644 --- 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 index f6e4a8301..3adb5ec1f 100644 --- 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);