Skip to content

Makefile: replace phpdbg with php in coverage target#7

Merged
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:fix/coverage-php
Mar 20, 2026
Merged

Makefile: replace phpdbg with php in coverage target#7
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:fix/coverage-php

Conversation

@ohmyfelix
Copy link
Contributor

What changed

  • replaced -p phpdbg with -p php in both coverage target variants in Makefile
  • kept the rest of the coverage command unchanged

Why

Testing

  • verified the expanded command with make -n coverage

@codecov
Copy link

codecov bot commented Mar 20, 2026

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@f3l1x f3l1x merged commit 11db174 into contributte:master Mar 20, 2026
10 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