php-src/scripts/dev
Peter Kokot c79eb107a0 Simplify checking of *nix build tools
The buildmk.stamp file has been created by the *nix build checking step
to run the check step only once. Instead of poluting the project root
directory, the stamp file can be also omitted. Performance difference is
very minimal to not justify having the stamp check at all today anymore.

This patch integrates the buildcheck.sh to buildconf script directly.
2019-04-29 01:30:27 +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 Refactor PHP_PROG_BISON and PHP_PROG_RE2C 2019-03-30 02:01:02 +01:00
makedist Simplify checking of *nix build tools 2019-04-29 01:30:27 +02:00
phpextdist Remove some obsolete config_vars.mk occurrences 2018-10-16 18:05:06 +02:00
search_underscores.php Remove yearly range from copyright notice 2019-01-30 11:03:12 +02:00
snapshot Move some scripts from root directory to scripts/dev/ 2019-02-16 16:58:48 +01:00
vcsclean Move some scripts from root directory to scripts/dev/ 2019-02-16 16:58:48 +01:00