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

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