summaryrefslogtreecommitdiff
path: root/pimd/pim_cmd.c
diff options
context:
space:
mode:
authorMartin Winter <mwinter@opensourcerouting.org>2018-03-06 07:14:03 -0800
committerMartin Winter <mwinter@opensourcerouting.org>2018-03-17 10:15:51 -0700
commit100c355e510ee35407db53ff2987165932b51dac (patch)
treeec0eb563db38264e36d17812fb0f36f6f827816a /pimd/pim_cmd.c
parentc8cd451cab8e009c826b9cf02be90ecf9f98c598 (diff)
debianpkg: Add option to build with RPKI
No RPKI support for Ubuntu 12.04 Signed-off-by: Martin Winter <mwinter@opensourcerouting.org>
Diffstat (limited to 'pimd/pim_cmd.c')
0 files changed, 0 insertions, 0 deletions