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

diff --git a/debian/openvswitch-switch.install b/debian/openvswitch-switch.install
index 829d5c63..bb6b46ad 100644
--- a/debian/openvswitch-switch.install
+++ b/debian/openvswitch-switch.install
@@ -1,8 +1,10 @@
 _debian/ovsdb/ovsdb-server usr/bin
-_debian/utilities/ovs-discover usr/sbin
 _debian/utilities/ovs-dpctl usr/sbin
+_debian/utilities/ovs-ctl usr/share/openvswitch/scripts
+_debian/utilities/ovs-lib.sh usr/share/openvswitch/scripts
 _debian/utilities/ovs-vsctl usr/sbin
 _debian/utilities/ovs-pcap usr/bin
 _debian/utilities/ovs-tcpundump usr/bin
 _debian/utilities/ovs-vlan-test usr/bin
 _debian/vswitchd/ovs-vswitchd usr/sbin
+utilities/ovs-save usr/share/openvswitch/scripts