# provide headers in builddir, so they do not end up in /usr/include/ext/psi/src
PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))
# provide headers in builddir, so they do not end up in /usr/include/ext/psi/src
PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))