diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index e7b9ad49..5f12005e 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