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[@]}"