[Cov] Fix coverage.sh (#2701)

diff --git a/coverage.sh b/coverage.sh
index 8b9d0c3..e0485f4 100755 (executable)
--- a/coverage.sh
+++ b/coverage.sh
@@ -121,6 +121,8 @@ cmd_report() {
   report $1
 }
 
+update_coverage_tools
+
 cmd=$1; [ $# -gt 0 ] && shift;
 case "$cmd" in
   instrument|--instrument|-i) cmd_instrument $@ ;;