diff -r 93b2bdb78e61 -r 146c62142e1b configure --- a/configure Wed May 20 20:20:51 2009 +0000 +++ b/configure Tue Jun 02 21:01:19 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