diff --git a/scripts/coverage.sh b/scripts/coverage.sh index aedae028cc..896d8f66cb 100755 --- a/scripts/coverage.sh +++ b/scripts/coverage.sh @@ -10,7 +10,7 @@ if ! command -v grcov; then exit 1 fi -if [[ ! "$(grcov --version)" =~ 0.[678].[01] ]]; then +if [[ ! "$(grcov --version)" =~ 0.[678].[012] ]]; then echo Error: Required grcov version not installed echo "Installed version: $(grcov --version)"