diff -r 93b2bdb78e61 -r 978ab821e1f8 configure --- a/configure Wed May 20 20:20:51 2009 +0000 +++ b/configure Tue Jun 02 21:34:26 2009 +0000 @@ -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