From e4e5735620f4855d81909dce02cd3a4b0a9748d1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 Nov 2024 09:12:32 -0800
Subject: [PATCH] update to set single threaded

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/pyodide.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index 580c76db5..a3fa91670 100644
--- 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: |