From 3ed997fba285f18b94ec7989160ed86da4b22baa Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Mon, 10 Jun 2019 10:51:19 +0200
Subject: [PATCH] autodetect the best gcov version

---
 tools/cov.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tools/cov.sh b/tools/cov.sh
index de5c6d78..c1a99a70 100755
--- a/tools/cov.sh
+++ b/tools/cov.sh
@@ -1,7 +1,12 @@
 #!/bin/sh
 # must be executed in project root folder
 if [ -z $GCOV ]; then
-  GCOV=gcov
+  for i in 9 8 5; do
+    if test $(which gcov-$i); then
+      GCOV=gcov-$i
+      break;
+    fi;
+  done
 fi
 
 LCOV_VERSION="1.14"