Skip to content

Remove phpdbg from coverage target#386

Merged
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/php-coverage-target
Mar 14, 2026
Merged

Remove phpdbg from coverage target#386
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/php-coverage-target

Conversation

@ohmyfelix
Copy link
Copy Markdown
Contributor

Summary

Replace phpdbg with php in the coverage Makefile target so coverage runs use the standard PHP binary.

Motivation

This aligns the skeleton with the org-wide migration tracked in contributte/contributte#73.

Changes

  • replace -p phpdbg with -p php in both branches of the coverage target in Makefile

Testing

  • Tests pass locally
  • CI passes
  • Manual verification attempted: make coverage now invokes php, but this environment does not have Xdebug, PCOV, or PHPDBG available, so coverage cannot be generated locally

@f3l1x f3l1x merged commit 589c650 into contributte:master Mar 14, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants