X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=build-root%2Fdeb%2Fdebian%2Fvpp.postrm;fp=build-root%2Fdeb%2Fdebian%2Fvpp.postrm;h=0000000000000000000000000000000000000000;hb=4d2f86a1ebcfc952080386603354c4767d2c8825;hp=24b4842fd0a2e4cf7510d072ad1b615501da9f7b;hpb=e67c1d8242fec255e7449fedcbdec5c66bb3f7b2;p=vpp.git diff --git a/build-root/deb/debian/vpp.postrm b/build-root/deb/debian/vpp.postrm deleted file mode 100644 index 24b4842fd0a..00000000000 --- a/build-root/deb/debian/vpp.postrm +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh -e - -removed= - -# Unbind user-mode PCI drivers -pci_dirs=`find /sys/bus/pci/drivers -type d -name igb_uio -o -name uio_pci_generic -o -name vfio-pci` -for d in $pci_dirs; do - for f in ${d}/*; do - [ -e "${f}/config" ] || continue - echo ${f##*/} > ${d}/unbind - basename `dirname ${f}` | xargs echo -n "Removing driver"; echo " for PCI ID" `basename ${f}` - removed=y - done -done -if [ -n "${removed}" ]; then - echo "There are changes in PCI drivers, rescaning" - echo 1 > /sys/bus/pci/rescan -else - echo "There weren't PCI devices binded" -fi -