diff options
Diffstat (limited to 'tools/utils.py')
| -rw-r--r-- | tools/utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/utils.py b/tools/utils.py index 758e561940..9c09bbf40d 100644 --- a/tools/utils.py +++ b/tools/utils.py @@ -106,7 +106,7 @@ def xml_indent(elem, level=0): elem.tail = i -source_ext = ["c", "h", "s", "S", "cpp", "xpm"] +source_ext = ["c", "h", "s", "S", "cpp", "cxx", "cc", "xpm"] source_list = [] def walk_children(child): |