path: root/configure
diff options
authorYann E. MORIN" <>2009-12-30 14:36:22 (GMT)
committerYann E. MORIN" <>2009-12-30 14:36:22 (GMT)
commit04c68600ea03e032d0cebac79336b71dc9f976f5 (patch)
treeaf0aeff6724a541784d433bb7cd2b9cde04f1400 /configure
parent2c077d6fac6a21227ddfd4b2403f24a8ad01dda1 (diff)
scripts/functions: add aria2, a powerfull downloader
aria2 is a powerfull downloader that is capable of chunking and parallel retrieval. Due to li;itations in crosstool-NG retrieval facilities, it's not possible to take fully advantage of aria2. It might happen that, in the future, those limitations get lifted away, so we can take use features such as parallel downloading from more than one server at the same time. For now, it should still speed up downloads thanks to parallel downloading of chunks.
Diffstat (limited to 'configure')
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 78a4724..8bcaf0e 100755
--- a/configure
+++ b/configure
@@ -354,7 +354,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="aria2c curl wget"
has_or_abort prog=cvs
has_or_abort prog=patch
has_or_abort prog=tar