From 047469b14d7b710d40adff4cb820d70b502a148d Mon Sep 17 00:00:00 2001 From: Jiri Kucera Date: Mon, 2 Sep 2019 14:27:10 +0200 Subject: [PATCH] Incorporate changes from PR #120 --- .travis/fix-coverage.sh | 12 ++++++++++++ tox.ini | 10 ++++++---- 2 files changed, 18 insertions(+), 4 deletions(-) create mode 100755 .travis/fix-coverage.sh diff --git a/.travis/fix-coverage.sh b/.travis/fix-coverage.sh new file mode 100755 index 0000000..1b66504 --- /dev/null +++ b/.travis/fix-coverage.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +set -ex + +cat > .coveragerc <