From e7a6e2cb2ac65556cfc12f9e4c356f3568d8dbbe Mon Sep 17 00:00:00 2001
From: Michael McLoughlin <mmcloughlin@gmail.com>
Date: Sun, 6 Jan 2019 20:28:43 -0800
Subject: [PATCH] script: use -x in coverage script

Hope to get some insight into why CI builds are failing.
---
 script/coverage | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/coverage b/script/coverage
index 4ebadb3..0ae9b8b 100755
--- a/script/coverage
+++ b/script/coverage
@@ -1,4 +1,4 @@
-#!/bin/bash -e
+#!/bin/bash -ex
 
 ext=".coverprofile"