From d12a3bbf7055d59e737d5b99f1afa848dba6ad42 Mon Sep 17 00:00:00 2001 From: Mikolaj Izdebski Date: Tue, 14 Jun 2022 18:56:47 +0200 Subject: [PATCH 2/2] Allow running check without coverage --- check | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/check b/check index 16e005a9..2305307d 100755 --- a/check +++ b/check @@ -47,8 +47,11 @@ if [ -z "$pyinterpreter" ]; then exit 0 fi +cov_config=--cov-config=../.coveragerc + if ! coverage --version >/dev/null 2>&1; then coverage(){ :;} + cov_config= fi cat >.coveragerc <