X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-common.install;h=df261d079b8360cc5cb367a6c083c819af2f2e38;hb=7d110e960278c0b1f5c39e398a3aab9d02e84c00;hp=758c59c2c4744506c9d98341e97dbf2e51d23a08;hpb=9dae0a2675cf3f63b983c5ef039a665bb41d4467;p=openvswitch

diff --git a/debian/openvswitch-common.install b/debian/openvswitch-common.install
index 758c59c2..df261d07 100644
--- a/debian/openvswitch-common.install
+++ b/debian/openvswitch-common.install
@@ -1,5 +1,6 @@
 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