diff --git a/python/sepolgen/src/sepolgen/refparser.py b/python/sepolgen/src/sepolgen/refparser.py index e261d3f78..41e0d52c8 100644 --- a/python/sepolgen/src/sepolgen/refparser.py +++ b/python/sepolgen/src/sepolgen/refparser.py @@ -486,7 +486,7 @@ def p_interface_call_param(p): | nested_id_set | TRUE | FALSE - | FILENAME + | quoted_filename ''' # Intentionally let single identifiers pass through # List means set, non-list identifier @@ -497,6 +497,12 @@ def p_interface_call_param(p): else: p[0] = [p[1], "-" + p[3]] +def p_quoted_filename(p): + '''quoted_filename : TICK quoted_filename SQUOTE + | FILENAME + ''' + p[0] = p[1] + def p_interface_call_param_list(p): '''interface_call_param_list : interface_call_param | interface_call_param_list COMMA interface_call_param