]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9690477) | patch
Enhance makedist script
authorPeter Kokot <peterkokot@gmail.com>
Fri, 26 Apr 2019 00:38:53 +0000 (02:38 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Sat, 18 May 2019 00:05:59 +0000 (02:05 +0200)
commit29bff939c7bb2385b3ec2c6e610bc921360a8a4b
tree57280f16399b2c81aef7c54a7c59ce5f7a19b8f1tree | snapshot
parent969047749d33bb88a0573aa91a57e2070335111acommit | diff
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
.gitignore diff | blob | history
Zend/Makefile.frag diff | blob | history
build/build.mk diff | blob | history
docs/release-process.md diff | blob | history
scripts/dev/genfiles diff | blob | history
scripts/dev/makedist diff | blob | history
scripts/dev/snapshot [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.