update to set single threaded

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 16, 2024 · e4e5735 · e4e5735
1 parent b929996
commit e4e5735
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
@@ -42,8 +42,8 @@ jobs:
          cd src/api/python 
          CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" ~/env/bin/pyodide build --exports whole_archive
       env:
-         CFLAGS: "-fexceptions -pthread -s USE_PTHREADS=1 -s DISABLE_EXCEPTION_CATCHING=0"
-         LDFLAGS: "-fexceptions -pthread"
+         CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0"
+         LDFLAGS: "-fexceptions"
 
     - name: Setup env-pyodide
       run: |