configure
branchgcc-4.4
changeset 1771 4341aae65c61
parent 1347 93b2bdb78e61
child 1411 8dbd9e0dc1d9
     1.1 --- a/configure	Wed May 20 20:20:51 2009 +0000
     1.2 +++ b/configure	Sun Jan 31 13:10:16 2010 +0100
     1.3 @@ -337,6 +337,7 @@
     1.4  has_or_abort prog=libtool                                                                           \
     1.5               ver='\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)'   \
     1.6               err="'libtool' 1.5.26 or above was not found"
     1.7 +has_or_abort prog=stat ver='GNU coreutils'
     1.8  has_or_abort prog="curl wget"
     1.9  has_or_abort prog=cvs
    1.10  has_or_abort prog=patch