diff --git a/autogen.sh b/autogen.sh
index 2309d7795f91c9498773e776bc7915ad96be6269..16ac28c9bc6e813772a436685b797604f5c04342 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
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)!"