From 951c981d94cd9ec05e591a16c5fe56c627f78bb9 Mon Sep 17 00:00:00 2001 From: Julian Oes Date: Wed, 30 Oct 2024 15:22:22 +1300 Subject: [PATCH] Tools: split by | or space to get all commands This is required in the case where there are 3 commands on one line. --- Tools/px4moduledoc/srcparser.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/px4moduledoc/srcparser.py b/Tools/px4moduledoc/srcparser.py index 3eacbf432548..4937f67b7ebf 100644 --- a/Tools/px4moduledoc/srcparser.py +++ b/Tools/px4moduledoc/srcparser.py @@ -442,7 +442,7 @@ def _do_consistency_check(self, contents, scope, module_doc): 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] == '-':