configure
changeset 1255 d856241f693c
parent 1213 61e11b37185a
child 1288 07b12579841d
     1.1 --- a/configure	Tue Feb 17 21:05:10 2009 +0000
     1.2 +++ b/configure	Mon Mar 09 22:05:52 2009 +0000
     1.3 @@ -49,7 +49,7 @@
     1.4  flex
     1.5  makeinfo
     1.6  automake=\(GNU automake\) (1\.[[:digit:]]{2,}\.|[2-9][[:digit:]]*\.)
     1.7 -libtool=\(GNU libtool\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)
     1.8 +libtool=\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)
     1.9  curl || wget
    1.10  patch
    1.11  tar