Tools: split by | or space to get all commands

This is required in the case where there are 3 commands on one line.
This commit is contained in:
Julian Oes 2024-10-30 15:22:22 +13:00 committed by Beat Küng
parent 6509e70306
commit 951c981d94

View File

@ -442,7 +442,7 @@ class SourceParser(object):
re.findall(r"\bstrcmp\b.*\bverb\b.*\"(.+)\"", contents)
doc_commands = module_doc.all_commands() + \
[x for value in module_doc.all_values() for x in value.split('|')]
[x for value in module_doc.all_values() for x in value.replace(' ', '|').split('|')]
for command in commands:
if len(command) == 2 and command[0] == '-':