X-Git-Url: http://jaekl.net/gitweb/?a=blobdiff_plain;f=cov.sh;h=e442016c4d6157434ce450ea3c833123570e40f7;hb=1b9389a8ec38485bbe14e9aa572af4510758e7a5;hp=ba25745bde272e30db5e95bc7d917d9f151912cc;hpb=281aef4ae884879bcee2df781f3460d621c6708c;p=cfb.git

diff --git a/cov.sh b/cov.sh
index ba25745..e442016 100755
--- a/cov.sh
+++ b/cov.sh
@@ -1,7 +1,13 @@
 #!/bin/bash
+
+set -o nounset   ## (set -u) error exit on attempts to deref undefined variable
+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