X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-switch.install;h=088b860657898e0742a93bac7b431b312819c980;hb=76ed83fc3f82f6d3074c4f87a38dd9ef164b6dc0;hp=829d5c630afd12a2d56005082cc235e8a74d687b;hpb=fbca1e20e84bc34537f0a3db073195f6783fb373;p=openvswitch

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