diff -r 93b2bdb78e61 -r 4341aae65c61 configure --- a/configure Wed May 20 20:20:51 2009 +0000 +++ b/configure Sun Jan 31 13:10:16 2010 +0100 @@ -337,6 +337,7 @@ has_or_abort prog=libtool \ ver='\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)' \ err="'libtool' 1.5.26 or above was not found" +has_or_abort prog=stat ver='GNU coreutils' has_or_abort prog="curl wget" has_or_abort prog=cvs has_or_abort prog=patch