Allow local override of PHPROOT in makedist

diff --git a/makedist b/makedist
index bce40a94880355c4481b6c0d28b0dc22cd52b435..f5823d39251b7b9a30dbe2bd4c6e7818785c6599 100755 (executable)
--- 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