From 75f2529cdfa37a1dbb3731f6a8dfb219c5bdfd43 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Fri, 21 Apr 2017 19:45:44 +0200
Subject: [PATCH] also run multi for coverage

---
 coverage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coverage.sh b/coverage.sh
index 1c374ff..b76a3bb 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -31,6 +31,7 @@ fi
 
 ./sizes
 ./constants
+./multi
 
 # if this was executed as './coverage.sh ...' create coverage locally
 if [[ "${0%% *}" == "./${0##*/}" ]]; then