Peter Kokot 29bff939c7 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

2019-05-18 02:05:59 +02:00

..

bless_tests.php

Support passing single file to bless_tests.php

2019-02-20 12:45:27 +01:00

check_parameters.php

Remove yearly range from copyright notice

2019-01-30 11:03:12 +02:00

credits

Make credits script executable from other paths

2019-03-16 01:37:34 +01:00

find_tested.php

Sync leading and final newlines in source code files

2018-10-14 12:56:38 +02:00

gen_verify_stub

Sync leading and final newlines in source code files

2018-10-14 12:56:38 +02:00

genfiles

Enhance makedist script

2019-05-18 02:05:59 +02:00

makedist

Enhance makedist script

2019-05-18 02:05:59 +02:00

search_underscores.php

Remove yearly range from copyright notice

2019-01-30 11:03:12 +02:00