From fd1fae31764d81fac5b657dd6a5da0ecb54c6f87 Mon Sep 17 00:00:00 2001
From: Chidi Williams <williamschidi1@gmail.com>
Date: Fri, 5 Jan 2024 18:49:55 +0000
Subject: [PATCH] fix: execstack

---
 .coveragerc | 3 ---
 Makefile    | 6 +++++-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/.coveragerc b/.coveragerc
index 49b1269b3f..d5d8d85986 100644
--- a/.coveragerc
+++ b/.coveragerc
@@ -5,6 +5,3 @@ omit =
 
 [html]
 directory = coverage/html
-
-[report]
-fail_under = 75
diff --git a/Makefile b/Makefile
index cc69c51a8e..3303fb4f4b 100644
--- a/Makefile
+++ b/Makefile
@@ -31,8 +31,12 @@ clean:
 	rm -f buzz/whisper_cpp.py
 	rm -rf dist/* || true
 
+COVERAGE_THRESHOLD := 75
+ifeq ($(UNAME_S),Linux)
+	COVERAGE_THRESHOLD := 70
+
 test: buzz/whisper_cpp.py translation_mo
-	pytest -vv --cov=buzz --cov-report=xml --cov-report=html --benchmark-skip
+	pytest -vv --cov=buzz --cov-report=xml --cov-report=html --benchmark-skip --cov-fail-under=${COVERAGE_THRESHOLD}
 
 benchmarks: buzz/whisper_cpp.py translation_mo
 	pytest -vv --benchmark-only --benchmark-json benchmarks.json