aboutsummaryrefslogtreecommitdiff
path: root/buildtools/debian-skeleton/rpki-ca.install
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2016-02-15 23:08:06 +0000
committerRob Austein <sra@hactrn.net>2016-02-15 23:08:06 +0000
commit5250ae9f0894ea8152fc9bc7692e6fb117f85f58 (patch)
treeb67bfb1a340eac933ae936fdb0969fca067a6626 /buildtools/debian-skeleton/rpki-ca.install
parent33f37a6caa6ed69a9463b2684cab8b8510e4b3ae (diff)
Snapshot before whacking migrations.
svn path=/branches/tk705/; revision=6259
Diffstat (limited to 'buildtools/debian-skeleton/rpki-ca.install')
-rw-r--r--buildtools/debian-skeleton/rpki-ca.install5
1 files changed, 4 insertions, 1 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.install b/buildtools/debian-skeleton/rpki-ca.install
index 90f4eecf..075a3a32 100644
--- a/buildtools/debian-skeleton/rpki-ca.install
+++ b/buildtools/debian-skeleton/rpki-ca.install
@@ -1,3 +1,6 @@
usr/lib/rpki
-usr/sbin
+usr/sbin/irbe_cli
+usr/sbin/rpki-start-servers
+usr/sbin/rpkic
+usr/sbin/rpkigui-query-routes
usr/share/rpki