On 2009-07-15, Alexey Zakhlestin <indey...@gmail.com> wrote: > The problem is, that if we update Zend/zend_dtrace.d, this header file > will need to be regenerated. > So, there is a need for a corresponding procedure.
I'll change the patch as soon as possible to generate the header file during configure. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
