From 9ba69f4c4fa98b7eb2ac7bc38d34c880fdaa6f1c Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Wed, 16 Aug 2017 16:32:21 +0200
Subject: [PATCH] fix coverage

---
 .ci/after_success.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.ci/after_success.sh b/.ci/after_success.sh
index fc8b6105c..3d1774b2a 100755
--- a/.ci/after_success.sh
+++ b/.ci/after_success.sh
@@ -36,6 +36,9 @@ if [ "${TRAVIS_PULL_REQUEST}" = false ] && [ "${TRAVIS_BRANCH}" = 'master' ]; th
     } || exit
     popd
 
+    # rerun make to regenerate /spec dir (was deleted to prevent uploading to cache)
+    echo -e "\n${ANSI_GREEN}make all"
+    make all
     travis_retry make coverage
     pushd koreader-*/koreader && {
         luajit "$(which luacov-coveralls)"