coverage.sh: Fix directory collisions for w/ and w/o attribute info

diff --git a/expat/coverage.sh b/expat/coverage.sh
index a77d60c7e4b177c422fd84a64080ba7037aad246..19c2625b9bdf848f8c1c0c4c3d238557b40ab1fd 100755 (executable)
--- 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}"
 }