X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-switch.install;h=088b860657898e0742a93bac7b431b312819c980;hb=032aa6a3543621213f133aff3e31021dfd4bef43;hp=c38cdd46657fafe85aea6685622a3f079d796f05;hpb=01ca1bfcbdd315519e7da58052a9c1359f9e72f7;p=openvswitch

diff --git a/debian/openvswitch-switch.install b/debian/openvswitch-switch.install
index c38cdd46..088b8606 100644
--- a/debian/openvswitch-switch.install
+++ b/debian/openvswitch-switch.install
@@ -1,7 +1,5 @@
 _debian/ovsdb/ovsdb-server usr/bin
-_debian/utilities/ovs-discover usr/sbin
 _debian/utilities/ovs-dpctl usr/sbin
-_debian/utilities/ovs-kill usr/sbin
 _debian/utilities/ovs-vsctl usr/sbin
 _debian/utilities/ovs-pcap usr/bin
 _debian/utilities/ovs-tcpundump usr/bin