diff options
| -rwxr-xr-x | build/hv-collector-coverage/check-coverage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/hv-collector-coverage/check-coverage.sh b/build/hv-collector-coverage/check-coverage.sh index cfd8f87f..192eac70 100755 --- a/build/hv-collector-coverage/check-coverage.sh +++ b/build/hv-collector-coverage/check-coverage.sh @@ -8,7 +8,7 @@ LOG_FILE=target/check-coverage.log function coverage_from_report() { local xpath_expr="string(/report/counter[@type='INSTRUCTION']/@$1)" - xpath -q -e "$xpath_expr" "$JACOCO_REPORT" 2>> ${LOG_FILE} + xmllint --xpath "${xpath_expr}" "$JACOCO_REPORT" 2>> ${LOG_FILE} } function check_preconditions() { |