summaryrefslogtreecommitdiff
path: root/proto/rpki/Makefile
diff options
context:
space:
mode:
authorOndrej Zajicek <santiago@crfreenet.org>2023-01-03 19:09:51 +0100
committerOndrej Zajicek <santiago@crfreenet.org>2023-01-03 19:11:34 +0100
commitd1cd5e5a63b2256eb71661f7438537e4ded7b01a (patch)
tree81f2b36c52aa74a6cbaf0fa29b193639fc527510 /proto/rpki/Makefile
parent309c874f9c8b217dbed1569c73b4a3035f5cb170 (diff)
BGP: Allow role specific keywords to be used as symbols
Some of these new BGP role keywords use generic names that collides with user-defined symbols. Allow them to be redefined. Also remove duplicit keyword definition for 'prefer'.
Diffstat (limited to 'proto/rpki/Makefile')
0 files changed, 0 insertions, 0 deletions