configure
changeset 1446 0a44fc4d6bd0
parent 1431 28a90ba877ca
child 1485 d031a67fc494
     1.1 --- a/configure	Wed Jul 22 20:42:23 2009 +0200
     1.2 +++ b/configure	Sun Aug 02 20:06:44 2009 +0200
     1.3 @@ -332,7 +332,7 @@
     1.4  has_or_abort prog=flex
     1.5  has_or_abort prog=makeinfo
     1.6  has_or_abort prog=automake                                                      \
     1.7 -             ver='\(GNU automake\) (1\.[[:digit:]]{2,}\.|[2-9][[:digit:]]*\.)'  \
     1.8 +             ver='\(GNU automake\) (1\.[[:digit:]]{2,}|[2-9][[:digit:]]*\.)'    \
     1.9               err="'automake' 1.10 or above was not found"
    1.10  has_or_abort prog=libtool                                                                           \
    1.11               ver='\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)'   \