X-Git-Url: http://jaekl.net/gitweb/?p=frank.git;a=blobdiff_plain;f=cov.sh;fp=cov.sh;h=a9fe22c662900aff624490fc446031892e01eed6;hp=c9fb54cbc110bcf011c01f3c9ac446a0c2c9b532;hb=418e4d229a8b607b022cfb867bb702bec1765d13;hpb=d870b8b1ca2e633b0f2b58969cc042888d07db6e

diff --git a/cov.sh b/cov.sh
index c9fb54c..a9fe22c 100755
--- a/cov.sh
+++ b/cov.sh
@@ -4,8 +4,8 @@ INSTR_DIR="${WEB_ROOT}/../instr"
 
 #####################
 echo Compiling...
-find "${WEB_ROOT}/prod" -name "*.java" | xargs javac
-find "${WEB_ROOT}/test" -name "*.java" | xargs javac -classpath ${WEB_ROOT}/prod:${CLASSPATH}
+find "${WEB_ROOT}/prod" -name "*.java" | xargs javac -Xlint:deprecation
+find "${WEB_ROOT}/test" -name "*.java" | xargs javac -classpath ${WEB_ROOT}/prod:${CLASSPATH} -Xlint:deprecation
 
 #####################
 echo Cleaning old coverage files...