summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild/hv-collector-coverage/check-coverage.sh2
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() {