mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Allow local override of PHPROOT in makedist
This commit is contained in:
parent
66b4e5cdec
commit
52171aeaf4
1 changed files with 4 additions and 1 deletions
5
makedist
5
makedist
|
@ -35,7 +35,10 @@ if test "${1}" = "1" -a "${2}" -lt "28"; then
|
||||||
fi
|
fi
|
||||||
IFS="$old_IFS"
|
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'
|
LT_TARGETS='ltconfig ltmain.sh config.guess config.sub'
|
||||||
|
|
||||||
if echo '\c' | grep -s c >/dev/null 2>&1
|
if echo '\c' | grep -s c >/dev/null 2>&1
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue