diff options
-rwxr-xr-x | makedist | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -27,6 +27,15 @@ # $Id$ # +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" + exit 10 +fi +IFS="$old_IFS" + PHPROOT=:pserver:cvsread@cvs.php.net:/repository ZENDROOT=:pserver:cvsread@cvs.zend.com:/repository PHPMOD=php4 |