diff options
Diffstat (limited to 'conf')
-rw-r--r-- | conf/confbase.Y | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/conf/confbase.Y b/conf/confbase.Y index 96b32028..9c08a41a 100644 --- a/conf/confbase.Y +++ b/conf/confbase.Y @@ -77,7 +77,7 @@ CF_DECLS %type <time> datetime %type <a> ipa %type <px> prefix prefix_or_ipa -%type <t> text +%type <t> text opttext %type <t> text_or_none %nonassoc PREFIX_DUMMY @@ -200,6 +200,11 @@ text: } ; +opttext: + TEXT + | /* empty */ { $$ = NULL; } + ; + text_or_none: TEXT { $$ = $1; } | { $$ = NULL; } |