changeset 1411 | 8dbd9e0dc1d9 |
parent 1409 | 7264ce426be4 |
parent 1402 | 146c62142e1b |
child 1430 | 933eee133cbf |
1.1 --- a/configure Wed Jun 17 10:46:28 2009 +0200 1.2 +++ b/configure Wed Jun 17 12:32:01 2009 +0200 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