X-Git-Url: http://jaekl.net/gitweb/?p=cfb.git;a=blobdiff_plain;f=cov.sh;h=e442016c4d6157434ce450ea3c833123570e40f7;hp=fd41983eb304aaa033167b65e7860aa89ec01ddc;hb=e6448f6cf67e5a5409f24b531c2443b3bed53b52;hpb=a4a577abc3f9b2b1147caafd1cb39fa8c2622cd4

diff --git a/cov.sh b/cov.sh
index fd41983..e442016 100755
--- a/cov.sh
+++ b/cov.sh
@@ -6,6 +6,8 @@ set -o errexit   ## (set -e) error exit if subcommand returns nonzero
 CFB_ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 INSTR_DIR="${CFB_ROOT}/../instr"
 
+. ${CFB_ROOT}/setcp.sh
+
 #####################
 echo Compiling...
 find "${CFB_ROOT}/prod" -name "*.java" | xargs javac -g -Xlint:deprecation