diff --git a/libsel4/tools/syscall_stub_gen.py b/libsel4/tools/syscall_stub_gen.py index 58674fa84..a47afbd7e 100644 --- a/libsel4/tools/syscall_stub_gen.py +++ b/libsel4/tools/syscall_stub_gen.py @@ -802,6 +802,8 @@ def parse_xml_file(input_file, valid_types): method_return_description = method.getElementsByTagName("return") if method_return_description: comment_lines.append("@return @xmlonly %s @endxmlonly" % get_xml_element_contents(method_return_description[0])) + else: + comment_lines.append("@return @xmlonly @endxmlonly") # # Get parameters.