scripts/toolchain-config.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Sep 09 15:34:04 2011 +0200 (2011-09-09)
changeset 2660 2a44af825e60
parent 1189 5c20d52c8270
permissions -rw-r--r--
scripts/functions: only use one download program

Currently, we use either wget or curl, whichever is installed.
In case both are installed, both are used. This means that it
takes a while trying all extensions.

Remove use of wget, and use only curl.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 #!/bin/sh
     2 
     3 tail -n+5 "${0}" |bzcat
     4 exit 0