scripts/functions: svn retrieval first tries the mirror for tarballs
The svn download helper looks for the local tarballs dir to see if it
can find a pre-downloaded tarball, and if it does not find it, does
the actual fetch to upstream via svn.
In the process, it does not even try to get a tarball from the local
mirror, which can be useful if the mirror has been pre-populated
manually (or with a previously downloaded tree).
Fake a tarball get with the standard tarball-download helper, but
without specifying any upstream URL, which makes the helper directly
try the LAN mirror.
Of course, if no mirror is specified, no URL wil be available, and
the standard svn retrieval will kick in.
Reported-by: ANDY KENNEDY <ANDY.KENNEDY@adtran.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
1 # mingw32 config options
3 ## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
7 ## help Build a toolchain targeting systems running Windows as host
11 prompt "Windows api version"
13 # Don't remove next line
14 # CT_INSERT_VERSION_BELOW
19 config W32API_V_select
21 prompt "Other version"
27 prompt "W32 api version" if W32API_V_select
28 # Don't remove next line
29 # CT_INSERT_VERSION_STRING_BELOW
30 default "3.14" if W32API_V_3_14
32 Enter the version number of the windows api files to use