diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2019-04-26 02:38:53 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2019-05-18 02:05:59 +0200 |
| commit | 29bff939c7bb2385b3ec2c6e610bc921360a8a4b (patch) | |
| tree | 57280f16399b2c81aef7c54a7c59ce5f7a19b8f1 /ext/xml/xml.c | |
| parent | 969047749d33bb88a0573aa91a57e2070335111a (diff) | |
| download | php-git-29bff939c7bb2385b3ec2c6e610bc921360a8a4b.tar.gz | |
Enhance makedist script
This enhances the makidst script:
- integrate both snapshot and makedist scripts together
- add help and options
- generated files are created in the php-src repository directly
- other minor enhancemenets such as CS fixes
- functionality moved from the Makefile to only shell script
- Add missed patching of the Zend Parsers to the main build step
- Add all *.tmp files to gitignore
Diffstat (limited to 'ext/xml/xml.c')
0 files changed, 0 insertions, 0 deletions