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

diff --git a/cov.sh b/cov.sh
index ba25745..fd41983 100755
--- a/cov.sh
+++ b/cov.sh
@@ -1,4 +1,8 @@
 #!/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"