X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-common.install;h=df261d079b8360cc5cb367a6c083c819af2f2e38;hb=5f87736966c0a2ef4d5d4a3c5c541d771d45bcb3;hp=74487470459c3d3a7d56e230c559da0371f4efba;hpb=211b05b5a1329b60f5eefb0ac22c59d213b982e6;p=openvswitch

diff --git a/debian/openvswitch-common.install b/debian/openvswitch-common.install
index 74487470..df261d07 100644
--- a/debian/openvswitch-common.install
+++ b/debian/openvswitch-common.install
@@ -1,10 +1,9 @@
 etc/openvswitch/bugtool-plugins
 usr/bin/ovs-appctl
+usr/bin/ovs-benchmark
 usr/bin/ovs-ofctl
 usr/bin/ovs-parse-leaks
 usr/bin/ovs-pki
 usr/bin/ovsdb-client
-usr/bin/ovsdb-tool
 usr/sbin/ovs-bugtool
 usr/share/openvswitch/scripts/ovs-bugtool-tc-class-show
-usr/share/openvswitch/vswitch.ovsschema