From 1f1a5ad4dc211220113c233bd0cd6b6bda120fd1 Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Thu, 15 Dec 2016 11:35:38 +1100 Subject: [PATCH] manual: Removed default cap description --- libsel4/tools/syscall_stub_gen.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/libsel4/tools/syscall_stub_gen.py b/libsel4/tools/syscall_stub_gen.py index 62283172c..ea14c57ea 100644 --- a/libsel4/tools/syscall_stub_gen.py +++ b/libsel4/tools/syscall_stub_gen.py @@ -84,8 +84,6 @@ TYPES = { 64: "seL4_Uint64" } -DEFAULT_CAP_DESC = "The capability to the %(interface_manual_name)s which is being operated on." - class Type(object): """ This class represents a C type (such as an 'int', structure or @@ -758,7 +756,7 @@ def parse_xml_file(input_file, valid_types): interface_name = interface.getAttribute("name") interface_manual_name = interface.getAttribute("manual_name") or interface_name - interface_cap_description = interface.getAttribute("cap_description") or DEFAULT_CAP_DESC % {"interface_manual_name":interface_manual_name} + interface_cap_description = interface.getAttribute("cap_description") for method in interface.getElementsByTagName("method"): method_name = method.getAttribute("name")