From 6d3b700f6e048bec0e975c2139c716b13e480ece Mon Sep 17 00:00:00 2001 From: Sebastian Pipping Date: Wed, 3 Jul 2019 22:39:50 +0200 Subject: [PATCH] coverage.sh: Make xml_attr_info_enabled match unicode_enabled --- expat/coverage.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/expat/coverage.sh b/expat/coverage.sh index 67406fcd..413782b0 100755 --- a/expat/coverage.sh +++ b/expat/coverage.sh @@ -41,7 +41,7 @@ _configure() { ${unicode_enabled} \ && configure_args+=( CPPFLAGS='-DXML_UNICODE -DXML_UNICODE_WCHAR_T' ) - if [[ "${xml_attr_info}" = true ]]; then + if [[ "${xml_attr_info_enabled}" = true ]]; then configure_args+=( --enable-xml-attr-info ) fi @@ -215,7 +215,7 @@ _main() { continue fi - for xml_attr_info in true false ; do + for xml_attr_info_enabled in true false ; do for xml_context in 0 1024 ; do _build_case done