coverage.sh: Cover arc4random_buf with libbsd

This commit is contained in:
Sebastian Pipping 2017-06-14 18:31:05 +02:00
parent 223365c43d
commit 79d10879b2

View File

@ -11,7 +11,12 @@ _get_source_dir() {
_get_build_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} ) configure_args+=( --enable-xml-context=${xml_context} )
fi fi
${with_libbsd} && configure_args+=( --with-libbsd )
( (
set -x set -x
./buildconf.sh &> configure.log ./buildconf.sh &> configure.log
@ -147,12 +154,17 @@ _main() {
build_dirs+=( "${build_dir}" ) build_dirs+=( "${build_dir}" )
} }
# All combinations:
with_libbsd=false
for unicode_enabled in false ; do for unicode_enabled in false ; do
for xml_context in 0 1024 ; do for xml_context in 0 1024 ; do
_build_case _build_case
done done
done done
# Single cases:
with_libbsd=true _build_case
echo echo
echo 'Merging coverage files...' echo 'Merging coverage files...'
_merge_coverage_info "${coverage_dir}" "${build_dirs[@]}" _merge_coverage_info "${coverage_dir}" "${build_dirs[@]}"