summaryrefslogtreecommitdiff
path: root/proto/rpki
diff options
context:
space:
mode:
authorJan Maria Matejka <mq@ucw.cz>2018-06-26 14:29:03 +0200
committerJan Maria Matejka <mq@ucw.cz>2018-06-26 14:29:03 +0200
commitf851f0d7e30cbd1e2ba20a5bf06a584acc136828 (patch)
treed9f5b0fb7df29698ed34821d37486e55d4061ace /proto/rpki
parent1771f70d7473b8c8e0c6bd47d5c35cc5fbe7eb19 (diff)
Config: Dropping CF_ADDTO.
Diffstat (limited to 'proto/rpki')
-rw-r--r--proto/rpki/config.Y2
1 files changed, 1 insertions, 1 deletions
diff --git a/proto/rpki/config.Y b/proto/rpki/config.Y
index 39fdfd01..a88a29a1 100644
--- a/proto/rpki/config.Y
+++ b/proto/rpki/config.Y
@@ -38,7 +38,7 @@ CF_KEYWORDS(RPKI, REMOTE, BIRD, PRIVATE, PUBLIC, KEY, TCP, SSH, TRANSPORT, USER,
CF_GRAMMAR
-CF_ADDTO(proto, rpki_proto)
+proto: rpki_proto ;
rpki_proto_start: proto_start RPKI {
this_proto = proto_config_new(&proto_rpki, $1);