From 753756212d8118b738a097f9e1fd4cdf9faf2ee5 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Sun, 20 May 2018 13:56:43 +0300
Subject: [PATCH] Proper coverage

---
 build.bash | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/build.bash b/build.bash
index 0cba019..3f18390 100755
--- a/build.bash
+++ b/build.bash
@@ -53,7 +53,16 @@ isfresh "$mulibs" "$(eval $keycmd)" || (
 
 oflags() {
     case "${1#$outd/}" in
-        main.cmo|utils.cmo|config.cmo|parser.cmo|$wsi/wsi.cmo)
+        config.cmo                              \
+        | glutils.cmo                           \
+        | help.cmo                              \
+        | keys.cmo                              \
+        | listview.cmo                          \
+        | main.cmo                              \
+        | parser.cmo                            \
+        | unisyms.cmo                           \
+        | utils.cmo                             \
+        | $wsi/wsi.cmo)         # XXX confstruct?
             f="-g -strict-sequence -strict-formats -warn-error @A";;
         *) f="-g";;
     esac
-- 
2.11.4.GIT