diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 17:16:22 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 17:18:57 +0100 |
| commit | de5b42219c65f2d939caaa5ec8e39ead813ced15 (patch) | |
| tree | f5b73a00ec23040dd14f3654733e65a400193530 /ext/intl/common/common_date.cpp | |
| parent | cbfdc1fd540ed423d4658b1971e13a9591825b43 (diff) | |
| download | php-git-de5b42219c65f2d939caaa5ec8e39ead813ced15.tar.gz | |
Avoid writing zend_vm_opcodes.h if it did not change
Now that we track header changes, a change to zend_vm_opcodes.h
requires rebuilding essentially the whole tree. In most cases,
changes to zend_vm_def.h don't actually result in any header
changes though.
Avoid touching the file by first checking whether the to be written
contents are actually the same.
Diffstat (limited to 'ext/intl/common/common_date.cpp')
0 files changed, 0 insertions, 0 deletions