From d0356893af1e0b9f4a9f7717930c97de18bdd761 Mon Sep 17 00:00:00 2001 From: Sage Weil Date: Wed, 23 Nov 2016 09:11:55 -0500 Subject: [PATCH] script/run-coverity: -x Signed-off-by: Sage Weil --- src/script/run-coverity | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/script/run-coverity b/src/script/run-coverity index 7c85727a1115..c4254ba35ed7 100755 --- 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 -- 2.47.3