]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8cd451) | patch
debianpkg: Add option to build with RPKI
authorMartin Winter <mwinter@opensourcerouting.org>
Tue, 6 Mar 2018 15:14:03 +0000 (07:14 -0800)
committerMartin Winter <mwinter@opensourcerouting.org>
Sat, 17 Mar 2018 17:15:51 +0000 (10:15 -0700)
commit100c355e510ee35407db53ff2987165932b51dac
treeec0eb563db38264e36d17812fb0f36f6f827816atree | snapshot
parentc8cd451cab8e009c826b9cf02be90ecf9f98c598commit | diff
debianpkg: Add option to build with RPKI

No RPKI support for Ubuntu 12.04

Signed-off-by: Martin Winter <mwinter@opensourcerouting.org>
debianpkg/README.deb_build.md diff | blob | history
debianpkg/backports/ubuntu12.04/debian/rules diff | blob | history
debianpkg/backports/ubuntu14.04/debian/rules diff | blob | history
debianpkg/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.