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"