diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:11:37 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:11:37 +0000 |
| commit | 461a67fa15370a9ec88f8f8a240bf7c123bb2029 (patch) | |
| tree | 6942083d7d56bba40ec790a453ca58ad3baf6832 /docs/tools/dump_format_style.py | |
| parent | 75c3240472ba6ac2669ee72ca67eb72d4e2851fc (diff) | |
Diffstat (limited to 'docs/tools/dump_format_style.py')
| -rw-r--r-- | docs/tools/dump_format_style.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/tools/dump_format_style.py b/docs/tools/dump_format_style.py index e2571f46448d2..1ca050e062b74 100644 --- a/docs/tools/dump_format_style.py +++ b/docs/tools/dump_format_style.py @@ -177,7 +177,8 @@ def read_options(header): for option in options: if not option.type in ['bool', 'unsigned', 'int', 'std::string', 'std::vector<std::string>', - 'std::vector<IncludeCategory>']: + 'std::vector<IncludeCategory>', + 'std::vector<RawStringFormat>']: if enums.has_key(option.type): option.enum = enums[option.type] elif nested_structs.has_key(option.type): |