diff options
author | Rob Austein <sra@hactrn.net> | 2016-02-15 23:08:06 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2016-02-15 23:08:06 +0000 |
commit | 5250ae9f0894ea8152fc9bc7692e6fb117f85f58 (patch) | |
tree | b67bfb1a340eac933ae936fdb0969fca067a6626 /buildtools/debian-skeleton/rpki-ca.install | |
parent | 33f37a6caa6ed69a9463b2684cab8b8510e4b3ae (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.install | 5 |
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 |