diff options
author | Peter Kokot <peterkokot@gmail.com> | 2019-04-27 17:21:56 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2019-04-29 01:30:27 +0200 |
commit | c79eb107a0f5f4de085b50df5990842bc8202325 (patch) | |
tree | 7929628e0f36deaaf840f8ccdfbed60b985b6ce5 /scripts | |
parent | b931dacc888ed59ccae6598338fe604030c251d6 (diff) | |
download | php-git-c79eb107a0f5f4de085b50df5990842bc8202325.tar.gz |
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.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/makedist | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/dev/makedist b/scripts/dev/makedist index 588a7e344b..2bea7c5e80 100755 --- a/scripts/dev/makedist +++ b/scripts/dev/makedist @@ -78,10 +78,6 @@ done set -x ./buildconf --force -# remove buildmk.stamp. Otherwise, buildcheck.sh might not be run, -# when a user runs buildconf in the distribution. -rm -f buildmk.stamp - # Generate lexer and parser files ./scripts/dev/genfiles exit_code=$? |