disable bison on wasm

runtimeverification · Oct 25, 2023 · d128f0c · d128f0c
1 parent ff239bd
commit d128f0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/tests/profiling/wasm-semantics/Makefile b/k-distribution/tests/profiling/wasm-semantics/Makefile
@@ -4,6 +4,6 @@ ITER=1
 TESTDIR=.
 KOMPILE_BACKEND=llvm
 BENCHMARK_NAME=WASM-SEMANTICS
-KOMPILE_FLAGS=--main-module WASM-TEST --syntax-module WASM-TEST-SYNTAX
+KOMPILE_FLAGS=--main-module WASM-TEST --syntax-module WASM-TEST-SYNTAX --jit-parser
 
 include ../kprofiling.mak