Fix issue with inconsistent formatting of "GPS off" buses.

[frank.git] / cov.sh

diff --git a/cov.sh b/cov.sh
index c9fb54cbc110bcf011c01f3c9ac446a0c2c9b532..a9fe22c662900aff624490fc446031892e01eed6 100755 (executable)
--- 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...