From fd40bcefcfd29f04b4593c690f11c8ac9948cdf9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Wed, 2 Nov 2011 16:01:24 +0100
Subject: [PATCH] Correct check to compile the java

Note that it is really slow compared to something like :

javac -cp ../../../lib/java */*.java

which compiles everything together instead of relaunching the compiler by hand in each subdir.
---
 test/check | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/test/check b/test/check
index 9bb2e3b..5a60a84 100755
--- a/test/check
+++ b/test/check
@@ -119,15 +119,13 @@ launch_check () {
     fi
     # Compil. java ?
     if [[ ($echec == 0) && ($java == 1) ]]; then
-      pushd "${base_f}" > /dev/null
-      for java_file in *.java ; do
-        if $JAVAC -warn:-unused -sourcepath .:..:../t1 ${java_file} > /dev/null
+     pushd "java/$(echo ${base_f} | sed 's/^./\u&/')" > /dev/null
+        if $JAVAC -cp ../../../../lib/java:../ *.java > /dev/null
         then
           echec=0
         else
           echec=3
         fi
-      done
       popd > /dev/null
     fi
     # Compil. caml ?