diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh index 053493dcd..c480a4553 100755 --- a/.github/update_distribution.sh +++ b/.github/update_distribution.sh @@ -823,10 +823,7 @@ import xml.etree.ElementTree as ET try: context = ET.iterparse('${FILE}', events=('start',)) for _, elem in context: - elem_tag = elem.tag.lower() - if elem_tag == 'setname': - if elem.text is None: - continue + if elem.tag.lower() == 'setname' and elem.text is not None: print('echo %s' % elem.text.strip()) except ET.ParseError as e: pass