I would say LGTM, but not sure that is really the issue in the aforementioned ticket.
What I mean is maybe, since there was no -I/usr/src/php/Zend, the build pointed to an existing php installation rather than the PHP's source content, if that makes sense ?
But your change is ok, do not see any harm.

@devnexen I don't know exactly how the Docker image is set up, but I could imagine PHP being built, installed, and then opcache being built against the installed sources. This would be missing this header. This header was added to zend_jit.c as of a few days ago, with the new JIT.

@devnexen I don't know exactly how the Docker image is set up, but I could imagine PHP being built, installed, and then opcache being built against the installed sources. This would be missing this header. This header was added to zend_jit.c as of a few days ago, with the new JIT.

yes, this is exactly what I did and what https://hub.docker.com/_/php (official PHP docker image) does

@mvorisek Can you confirm that this fixes your build?

@mvorisek Can you confirm that this fixes your build?

I can confirm the issue is gone, thank you both ❤️