tools: rename pci_unbind script
authorThomas Monjalon <thomas.monjalon@6wind.com>
Mon, 3 Feb 2014 17:40:56 +0000 (18:40 +0100)
committerThomas Monjalon <thomas.monjalon@6wind.com>
Thu, 20 Mar 2014 16:50:51 +0000 (17:50 +0100)
commitecdf5f53ff1e501a7042ebbb10ba2ab262524992
treeae5ad16df1f677455e51fe0880d8b12deb45e38e
parente6b87d19d9a8586f57f6c3d376ddfa1c681d5450
tools: rename pci_unbind script

In order to make this tool available among other system commands,
the name must be more specific.

Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com>
Acked-by: Chris Wright <chrisw@redhat.com>
tools/igb_uio_bind.py [new file with mode: 0755]
tools/pci_unbind.py [deleted file]
tools/setup.sh