mirror of
https://github.com/php/php-src.git
synced 2026-04-18 05:21:02 +02:00
sigsetjmp use setjmp. Windows is of course weird in that it seems to have sigsetjmp but not sigjmp_buf (??) so force it to use setjmp in config.w32.h.in