script/run-coverity: -x

Signed-off-by: Sage Weil <sage@redhat.com>

diff --git a/src/script/run-coverity b/src/script/run-coverity
index 7c85727a111550d6a9cd4689ad767446557600e1..c4254ba35ed7fa3ac83c6d7921f693c0f95aea16 100755 (executable)
--- a/src/script/run-coverity
+++ b/src/script/run-coverity
@@ -1,4 +1,4 @@
-#!/bin/sh -e
+#!/bin/sh -ex
 
 export COVDIR="$HOME/cov-analysis"
 if [ ! -d "$COVDIR" ]; then