diff options
author | Sascha Schumann <sas@php.net> | 2000-06-25 22:48:02 +0000 |
---|---|---|
committer | Sascha Schumann <sas@php.net> | 2000-06-25 22:48:02 +0000 |
commit | 2573a5041f342c0973bb867acd0e7c3b8e8aca59 (patch) | |
tree | 606f7f64f80665c87ca5a9efe9938582936c69f8 /makedist | |
parent | c9fea52cf9cdb6cffc67fcc3163011d05ec85a81 (diff) | |
download | php-git-2573a5041f342c0973bb867acd0e7c3b8e8aca59.tar.gz |
Fix Bison version check
Diffstat (limited to 'makedist')
-rwxr-xr-x | makedist | 32 |
1 files changed, 16 insertions, 16 deletions
@@ -27,14 +27,22 @@ # $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" +if test "$#" != "2"; then + echo "Usage: makedist <package> <version>" >&2 + exit 1 +fi + +PKG=$1 ; shift +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" + exit 10 +fi +IFS="$old_IFS" PHPROOT=:pserver:cvsread@cvs.php.net:/repository ZENDROOT=:pserver:cvsread@cvs.zend.com:/repository @@ -52,14 +60,6 @@ else ECHO_C='\c' fi -if test "$#" != "2"; then - echo "Usage: makedist <package> <version>" >&2 - exit 1 -fi - -PKG=$1 ; shift -VER=$1 ; shift - MY_OLDPWD=`pwd` # the destination .tar.gz file |