mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-23 18:04:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

- Fix makedist

Browse Source
This commit is contained in:
Derick Rethans 2002-03-20 18:54:30 +00:00
parent 8581f8394b
commit 85682d568f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
makedist
View File

@ -37,15 +37,15 @@ VER=$1 ; shift
old_IFS="$IFS"
IFS=.
eval set `bison -V|sed "s/GNU Bison version //"`
if test "$1" = "1" && test "28" -gt "$2"; then
echo "Please use Bison 1.28 or higher"
eval set `bison --version| grep 'GNU Bison' | cut -d ' ' -f 4 | sed -e 's/\./ /'`
if test "${1}" = "1" -a "${2}" -lt "28"; then
echo "You will need bison 1.28 if you want to regenerate the Zend parser (found ${1}.${2}).)"
exit 10
fi
IFS="$old_IFS"
PHPROOT=:pserver:cvsread@cvs.php.net:/repository
ZENDROOT=:pserver:cvsread@cvs.zend.com:/repository
ZENDROOT=:pserver:cvsread@cvs.php.net:/repository
PHPMOD=php4
ZENDMOD=Zend
TSRMMOD=TSRM