PR #397 Introduce debug symbols flag for static build

Introduce debug symbols flag for static build #397

dunglas merged 2 commits into php:main from goossda:feature/enable-debug-symbols

Introduce debug symbols flag

8eaf144b

dunglas approved these changes on 2023-12-17

Add DEBUG_SYMBOLS customization to the docs

6882710c

dunglas approved these changes on 2023-12-17

dunglas merged b6e22778 into main 2 years ago

goossda deleted the feature/enable-debug-symbols branch 1 year ago

Reviewers

dunglas

Assignees

No one assigned

Labels

None yet

Milestone

No milestone