From 18a6835b9a8bd748f39682fe4da53540ce3756ee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Tue, 22 Nov 2011 11:27:58 +0100
Subject: [PATCH] improve heptc java handling

---
 heptc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/heptc b/heptc
index 2d74cc6..135c205 100755
--- a/heptc
+++ b/heptc
@@ -13,7 +13,7 @@ COMPILER_DEBUG=heptc.d.byte
 LIB_DIR="$SCRIPT_DIR/lib"
 
 JAVA_LIB_DIR="$LIB_DIR/java"
-JAVAC="javac -cp $JAVA_LIB_DIR"
+JAVAC="javac -Xlint:unchecked -cp $JAVA_LIB_DIR"
 
 #the symlink
 HEPTC="$COMPILER_DIR/$COMPILER"
@@ -61,7 +61,7 @@ java )
     last_arg=$#
     base_f=`basename ${!last_arg} .ept`
     pushd "java/$(echo ${base_f} | sed 's/^./\u&/')" > /dev/null
-    $JAVAC *.java
+    ${JAVAC}:.. *.java
     popd > /dev/null
   fi
 ;;