diff options
author | Florian MARGAINE <florian@margaine.com> | 2014-09-20 10:01:44 +0200 |
---|---|---|
committer | Florian MARGAINE <florian@margaine.com> | 2014-09-20 10:01:44 +0200 |
commit | cf0303e7824c3e20e9db240f9d4e4b154cc2a72d (patch) | |
tree | 89aa4aab62b422615a7441552b3a0176b22b2b0d /build/build.mk | |
parent | 25f5ba94aca1e89ee5f0c66513e58826afa3b853 (diff) | |
download | php-git-cf0303e7824c3e20e9db240f9d4e4b154cc2a72d.tar.gz |
Replaces php5 with php7, without whitespace changes.
Diffstat (limited to 'build/build.mk')
-rw-r--r-- | build/build.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.mk b/build/build.mk index 2c189159a2..5dd81ee0e9 100644 --- a/build/build.mk +++ b/build/build.mk @@ -39,7 +39,7 @@ $(STAMP): build/buildcheck.sh snapshot: distname='$(DISTNAME)'; \ if test -z "$$distname"; then \ - distname='php5-snapshot'; \ + distname='php7-snapshot'; \ fi; \ myname=`basename \`pwd\`` ; \ cd .. && cp -rp $$myname $$distname; \ |