summaryrefslogtreecommitdiff
path: root/makedist
diff options
context:
space:
mode:
authorDavid Soria Parra <dsp@php.net>2013-03-20 15:16:24 +0100
committerDavid Soria Parra <dsp@php.net>2013-03-20 15:17:53 +0100
commit52171aeaf41545205fb960e1a01d4dd33d09137b (patch)
tree45186c606f15855cb53bf0aea46ac77c5f7c114a /makedist
parent66b4e5cdec09782b3036a9c86250b09f6d22f521 (diff)
downloadphp-git-52171aeaf41545205fb960e1a01d4dd33d09137b.tar.gz
Allow local override of PHPROOT in makedist
Diffstat (limited to 'makedist')
-rwxr-xr-xmakedist5
1 files changed, 4 insertions, 1 deletions
diff --git a/makedist b/makedist
index bce40a9488..f5823d3925 100755
--- a/makedist
+++ b/makedist
@@ -35,7 +35,10 @@ if test "${1}" = "1" -a "${2}" -lt "28"; then
fi
IFS="$old_IFS"
-PHPROOT=git@git.php.net:php-src.git
+if test "$PHPROOTx" == "x"; then
+ PHPROOT=git@git.php.net:php-src.git;
+fi
+
LT_TARGETS='ltconfig ltmain.sh config.guess config.sub'
if echo '\c' | grep -s c >/dev/null 2>&1