diff options
| author | Dylan T <dktapps@pmmp.io> | 2021-02-16 18:40:26 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 09:45:12 +0100 |
| commit | 408272b8d9d08ebdb31cea43535006fef28f9c1f (patch) | |
| tree | 9ef9e5ad5fa063d8fb8c9e8212eab5dae7270d00 /ext/xml/php_xml.h | |
| parent | fad87a24daa8a79f7bcb9d4088f7d96d6f405cac (diff) | |
| download | php-git-408272b8d9d08ebdb31cea43535006fef28f9c1f.tar.gz | |
Remove generated zend_jit_x86.c on `make clean`
Not removing this causes build failure when reconfiguring and rebuilding after a `make clean`, e.g. enabling/disabling ZTS.
This makes https://bugs.php.net/bug.php?id=80561 more bearable. Ideally it would be rebuilt automatically on configuration change if necessary, but I have no idea how to implement this.
Closes GH-6702.
Diffstat (limited to 'ext/xml/php_xml.h')
0 files changed, 0 insertions, 0 deletions