From b847d9880e74f723aee984ee3f142d6a4001c358 Mon Sep 17 00:00:00 2001
From: Stephan Bauroth <s.bauroth@tu-berlin.de>
Date: Thu, 5 Nov 2026 13:09:34 +0000
Subject: [PATCH] bench.sh: run lean-mathlib only when named explicitly

---
 bench.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bench.sh b/bench.sh
index b0ddf9d..774bc3a 100755
--- a/bench.sh
+++ b/bench.sh
@@ -13,8 +13,8 @@ alloc_libs="sys="      # mapping from allocator to its .so as "<allocator>=<sofi
 
 readonly tests_all1="cfrac espresso barnes redis larson larson-sized mstress rptest gs lua"
 readonly tests_all2="alloc-test sh6bench sh8bench xmalloc-test cscratch glibc-simple glibc-thread rocksdb"
-readonly tests_all3="lean lean-mathlib linux malloc-large mleak rbstress cthrash"
-readonly tests_all4="z3 spec spec-bench security"
+readonly tests_all3="lean linux malloc-large mleak rbstress cthrash"
+readonly tests_all4="lean-mathlib z3 spec spec-bench security"
 
 readonly tests_all="$tests_all1 $tests_all2 $tests_all3 $tests_all4"
 readonly tests_allt="$tests_all1 $tests_all2 $tests_all3"  # run with 'allt' command option