scripts/functions: cvs retrieval first tries the mirror for tarballs

The cvs 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 cvs.

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 cvs retrieval will kick in.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

commit 25bb77587944768581225d1c0048facab32cf019

Author: Roberto Bagnara <bagnara@cs.unipr.it>

Date:   Wed May 18 09:35:36 2011 +0200

    Moved misplaced conditional.

diff --git a/interfaces/Java/tests/Makefile.am b/interfaces/Java/tests/Makefile.am

index 64ba864..607bbc6 100644

--- a/interfaces/Java/tests/Makefile.am

+++ b/interfaces/Java/tests/Makefile.am

@@ -51,6 +51,8 @@ Parma_Polyhedra_Library_test2.java \

 PPL_Test.java \

 ppl_java_tests_common

+if ENABLE_SHARED

+

 check_JAVA = \

 ppl_java_generated_tests.java \

 Test_Executor.java \

@@ -62,8 +64,6 @@ Parma_Polyhedra_Library_test1.java \

 Parma_Polyhedra_Library_test2.java \

 PPL_Test.java

-if ENABLE_SHARED

-

 CLASSPATH = ../ppl_java.jar:.

 JAVACFLAGS = -classpath $(CLASSPATH)