From 31206cb80fdf4bfb0a7fe48de13605175c0fab39 Mon Sep 17 00:00:00 2001
From: Qingping Hou <dave2008713@gmail.com>
Date: Wed, 20 Apr 2016 23:56:38 -0700
Subject: [PATCH] ci: fix coverage report

---
 .ci/after_success.sh | 2 +-
 Makefile             | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.ci/after_success.sh b/.ci/after_success.sh
index e655228ba..011b8d1be 100755
--- a/.ci/after_success.sh
+++ b/.ci/after_success.sh
@@ -5,7 +5,7 @@ source "${CI_DIR}/common.sh"
 
 set +e
 
-make coverage
+travis_retry make coverage
 pushd koreader-*/koreader
     luajit $(which luacov-coveralls) -v
 popd
diff --git a/Makefile b/Makefile
index 0435dc7cc..e24910c12 100644
--- a/Makefile
+++ b/Makefile
@@ -107,7 +107,10 @@ test:
 	$(MAKE) testfront
 
 coverage: $(INSTALL_DIR)/koreader/.luacov
-	cd $(INSTALL_DIR)/koreader && ./luajit $(shell which busted) -o verbose_print --coverage --exclude-tags=nocov
+	cd $(INSTALL_DIR)/koreader && \
+		./luajit $(shell which busted) -o verbose_print \
+			--no-auto-insulate \
+			--coverage --exclude-tags=nocov
 	# coverage report summary
 	cd $(INSTALL_DIR)/koreader && tail -n \
 		+$$(($$(grep -nm1 Summary luacov.report.out|cut -d: -f1)-1)) \