From a44a3a41589da9dc441344651730825eb93a8e61 Mon Sep 17 00:00:00 2001
From: Matthias Radestock <matthias.radestock@gmail.com>
Date: Sat, 11 Jul 2015 11:46:49 +0100
Subject: [PATCH] cure "./gen_coverage_reports.sh: line 5: CIRCLECI: unbound
 variable"

---
 test/gen_coverage_reports.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/gen_coverage_reports.sh b/test/gen_coverage_reports.sh
index b15248ab..523d09d1 100755
--- a/test/gen_coverage_reports.sh
+++ b/test/gen_coverage_reports.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -eux
+set -ex
 
 if [ -n "$CIRCLECI" ]; then
     for i in $(seq 1 $(($CIRCLE_NODE_TOTAL - 1))); do