+ @echo
+ @echo "Generating coverage in $@..."
+ @echo "************************************"
+ @gcovr -j $$(nproc) -sr . -f '.*/(php_)?ion.*' 2>/dev/null \
+ --html-title $@ --html-details $@/index.html
+ @echo "************************************"