From 03cfe10da76978c04461ba5e9851bce9cd0ab372 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulipchat.com>
Date: Wed, 29 May 2019 12:31:54 -0700
Subject: [PATCH] coveragerc: Omit blub.

The jedi package exec()s some code in the context of the fake module
blub, causing errors when generating the coverage report.  See
https://github.com/davidhalter/jedi/issues/1122.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
---
 tools/coveragerc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/coveragerc b/tools/coveragerc
index e62bb057caa99..30ea2a067f79c 100644
--- a/tools/coveragerc
+++ b/tools/coveragerc
@@ -38,3 +38,5 @@ omit =
     zerver/lib/ccache.py
     # Settings.py files are hard to test
     zproject/*settings.py
+    # https://github.com/davidhalter/jedi/issues/1122
+    blub