From 52171aeaf41545205fb960e1a01d4dd33d09137b Mon Sep 17 00:00:00 2001 From: David Soria Parra Date: Wed, 20 Mar 2013 15:16:24 +0100 Subject: [PATCH] Allow local override of PHPROOT in makedist --- makedist | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 -- 2.40.0