configure
branch1.4
changeset 1455 e6a3b4ffe576
parent 1450 0505b0d5cd63
     1.1 --- a/configure	Mon Aug 03 22:47:53 2009 +0200
     1.2 +++ b/configure	Mon Aug 03 23:11:53 2009 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  bison
     1.5  flex
     1.6  makeinfo
     1.7 -automake=\(GNU automake\) (1\.[[:digit:]]{2,}\.|[2-9][[:digit:]]*\.)
     1.8 +automake=\(GNU automake\) (1\.[[:digit:]]{2,}|[2-9][[:digit:]]*\.)
     1.9  libtool=\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)
    1.10  curl || wget
    1.11  patch