From fb0c1167f25b03c77d3cc6cb9aac1a9ead99308b Mon Sep 17 00:00:00 2001 From: Oh My Felix Date: Sun, 15 Mar 2026 09:54:39 +0000 Subject: [PATCH] Make coverage target use php instead of phpdbg --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 33bc117..750fec1 100644 --- a/Makefile +++ b/Makefile @@ -28,7 +28,7 @@ tests: .PHONY: coverage coverage: ifdef GITHUB_ACTION - vendor/bin/tester -s -p phpdbg --colors 1 -C --coverage coverage.xml --coverage-src src tests/Cases + vendor/bin/tester -s -p php --colors 1 -C --coverage coverage.xml --coverage-src src tests/Cases else - vendor/bin/tester -s -p phpdbg --colors 1 -C --coverage coverage.html --coverage-src src tests/Cases + vendor/bin/tester -s -p php --colors 1 -C --coverage coverage.html --coverage-src src tests/Cases endif