From cf3c411d01cb49986704114ea762a30f4203c6c2 Mon Sep 17 00:00:00 2001
From: Dirk Farin <dirk.farin@gmail.com>
Date: Wed, 19 Jul 2023 18:29:28 +0200
Subject: [PATCH] run CI without WASM

---
 scripts/run-ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/run-ci.sh b/scripts/run-ci.sh
index fb020bd5e7..76438c421e 100755
--- a/scripts/run-ci.sh
+++ b/scripts/run-ci.sh
@@ -243,7 +243,7 @@ fi
 
 if [ ! -z "$EMSCRIPTEN_VERSION" ]; then
     echo "Building with emscripten $EMSCRIPTEN_VERSION ..."
-    source ./emscripten/emsdk/emsdk_env.sh && ./build-emscripten.sh
+    source ./emscripten/emsdk/emsdk_env.sh && USE_WASM=0 ./build-emscripten.sh
     source ./emscripten/emsdk/emsdk_env.sh && node scripts/test-javascript.js
 fi