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>
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
11 prompt "0.15.11 (EXPERIMENTAL)"
12 depends on EXPERIMENTAL
14 config CLOOG_V_0_15_10
38 # Don't remove next line
39 # CT_INSERT_VERSION_STRING_BELOW
40 default "0.15.11" if CLOOG_V_0_15_11
41 default "0.15.10" if CLOOG_V_0_15_10
42 default "0.15.9" if CLOOG_V_0_15_9
43 default "0.15.8" if CLOOG_V_0_15_8
44 default "0.15.7" if CLOOG_V_0_15_7
45 default "0.15.6" if CLOOG_V_0_15_6
46 default "0.15.5" if CLOOG_V_0_15_5
47 default "0.15.4" if CLOOG_V_0_15_4
48 default "0.15.3" if CLOOG_V_0_15_3