diff --git a/scripts/kani-perf.sh b/scripts/kani-perf.sh
index a7e2710773aa..aaa1e250e3e9 100755
--- a/scripts/kani-perf.sh
+++ b/scripts/kani-perf.sh
@@ -27,7 +27,7 @@ done
 suite="perf"
 mode="cargo-kani-test"
 echo "Check compiletest suite=$suite mode=$mode"
-cargo run -p compiletest -- --suite $suite --mode $mode --no-fail-fast
+RUST_TEST_THREADS=1 cargo run -p compiletest -- --suite $suite --mode $mode --no-fail-fast
 exit_code=$?
 
 echo "Cleaning up..."