From 79d10879b29acf2137f3ab423402ef1ae9c70434 Mon Sep 17 00:00:00 2001
From: Sebastian Pipping <sebastian@pipping.org>
Date: Wed, 14 Jun 2017 18:31:05 +0200
Subject: [PATCH] coverage.sh: Cover arc4random_buf with libbsd

---
 expat/coverage.sh | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/expat/coverage.sh b/expat/coverage.sh
index 15e2516f..e7f6bb03 100755
--- a/expat/coverage.sh
+++ b/expat/coverage.sh
@@ -11,7 +11,12 @@ _get_source_dir() {
 
 
 _get_build_dir() {
-    echo "build__${version}__unicode_${unicode_enabled}__xml_context_${xml_context}"
+    local libbsd_part=
+    if ${with_libbsd}; then
+        libbsd_part=__libbsd
+    fi
+
+    echo "build__${version}__unicode_${unicode_enabled}__xml_context_${xml_context}${libbsd_part}"
 }
 
 
@@ -32,6 +37,8 @@ _configure() {
         configure_args+=( --enable-xml-context=${xml_context} )
     fi
 
+    ${with_libbsd} && configure_args+=( --with-libbsd )
+
     (
         set -x
         ./buildconf.sh &> configure.log
@@ -147,12 +154,17 @@ _main() {
         build_dirs+=( "${build_dir}" )
     }
 
+    # All combinations:
+    with_libbsd=false
     for unicode_enabled in false ; do
         for xml_context in 0 1024 ; do
             _build_case
         done
     done
 
+    # Single cases:
+    with_libbsd=true _build_case
+
     echo
     echo 'Merging coverage files...'
     _merge_coverage_info "${coverage_dir}" "${build_dirs[@]}"