diff options
Diffstat (limited to '3rdparty/libconfig/extra')
| -rw-r--r-- | 3rdparty/libconfig/extra/gen/grammar.y | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/3rdparty/libconfig/extra/gen/grammar.y b/3rdparty/libconfig/extra/gen/grammar.y index f578897cb..576241c01 100644 --- a/3rdparty/libconfig/extra/gen/grammar.y +++ b/3rdparty/libconfig/extra/gen/grammar.y @@ -118,6 +118,11 @@ setting_terminator: | TOK_COMMA ; +comma_optional: + /* empty */ + | TOK_COMMA + ; + setting: TOK_NAME { @@ -359,9 +364,13 @@ value_list_optional: | value_list ; -simple_value_list: +simple_value_list_sub: simple_value - | simple_value_list TOK_COMMA simple_value + | simple_value_list_sub TOK_COMMA simple_value + ; + +simple_value_list: + simple_value_list_sub comma_optional ; simple_value_list_optional: |