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