Fix benchmark script

tbidne · Oct 31, 2024 · f2838a3 · f2838a3
1 parent 4fabfc9
commit f2838a3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/bench.sh b/tools/bench.sh
@@ -2,5 +2,5 @@ set -e
 
 export LANG="C.UTF-8"
 
-cabal bench --benchmark-options \
-  '+RTS -T -RTS --csv benchmarks/bench.csv --svg benchmarks/bench.svg --baseline benchmarks/baseline_9.8.2.csv'
+cabal bench --enable-benchmarks --benchmark-options \
+  '+RTS -T -RTS --csv benchmarks/bench.csv --svg benchmarks/bench.svg --baseline benchmarks/baseline_9.8.2.csv'