From 6af3e38a7d68327f7a4f584e2a6734281a6537dd Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Mon, 13 May 2024 10:51:23 -0700
Subject: [PATCH] Do not run perf tests in parallel

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

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..."