summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2018-03-07 17:35:24 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2018-03-07 17:35:24 +0100
commit2d6d4b80539be13aa53c6751fb33689b263e4010 (patch)
tree38fa587e13f2e4e9277e4a1150d6589571987ac8 /conf
parentd6cf996151307d083c30e4ecde0f1d7449b19253 (diff)
Babel: Fix build with restricted protocol set
All keywords used in Babel config have to be declared locally. Thanks to Leo Vandewoestijne for the bugreport.
Diffstat (limited to 'conf')
-rw-r--r--conf/confbase.Y7
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; }