From 3334d634372dec027812772fd79ca55b2bc06183 Mon Sep 17 00:00:00 2001 From: Sebastian Pipping Date: Mon, 7 Oct 2019 22:31:51 +0200 Subject: [PATCH] coverage.sh: Fix directory collisions for w/ and w/o attribute info --- expat/coverage.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/expat/coverage.sh b/expat/coverage.sh index a77d60c7..19c2625b 100755 --- a/expat/coverage.sh +++ b/expat/coverage.sh @@ -26,7 +26,12 @@ _get_build_dir() { char_part=__unsigned_char fi - echo "build__${version}__unicode_${unicode_enabled}__xml_context_${xml_context}${libbsd_part}${mingw_part}${char_part}" + local xml_attr_part= + if ${xml_attr_info_enabled}; then + xml_attr_part=__attr_info + fi + + echo "build__${version}__unicode_${unicode_enabled}__xml_context_${xml_context}${libbsd_part}${mingw_part}${char_part}${xml_attr_part}" } -- 2.40.0