diff options
| -rwxr-xr-x | autogen.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 2309d7795..16ac28c9b 100755 --- a/autogen.sh +++ b/autogen.sh @@ -28,7 +28,13 @@ cd "$srcdir" check_version () { - if expr "$1" \>= "$2" > /dev/null; then +MAJOR1=`echo $1 | cut -d"." -f1`; +MINOR1=`echo $1 | cut -s -d"." -f2`; +MAJOR2=`echo $2 | cut -d"." -f1`; +MINOR2=`echo $2 | cut -d"." -f2;` +test -z "$MINOR1" && MINOR1="0"; + +if (("$MAJOR1" > "$MAJOR2"))||(((("$MAJOR1" == "$MAJOR2")) && (("$MINOR1" \>= "$MINOR2")))); then echo "yes (version $1)" else echo "Too old (found version $1)!" |