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

diff --git a/debian/openvswitch-switch.install b/debian/openvswitch-switch.install
index c38cdd46..829d5c63 100644
--- a/debian/openvswitch-switch.install
+++ b/debian/openvswitch-switch.install
@@ -1,7 +1,6 @@
 _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