From 25dad7eae14137b3697c8dde88cc11d475f21746 Mon Sep 17 00:00:00 2001
From: bwoodsend <bwoodsend@gmail.com>
Date: Tue, 30 Mar 2021 23:26:49 +0100
Subject: [PATCH] Drop colored gcov output on Linux.

It isn't supported on the older gcc versions used by CI/CD.
---
 scripts/coverage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/coverage.sh b/scripts/coverage.sh
index 09f231a..4390ff1 100755
--- a/scripts/coverage.sh
+++ b/scripts/coverage.sh
@@ -10,7 +10,7 @@
 # The exact arguments depend on whether we're using LLVM's gcov or GNU's.
 unameOut="$(uname -s)"
 case "${unameOut}" in
-    Linux*)     gcov_options=(--relative-only -k);;
+    Linux*)     gcov_options=(--relative-only);;
     Darwin*)    gcov_options=(--color);;
     *)          echo "Unsupported OS ${unameOut}"; exit 1;;
 esac