Make sure all ofed RPMs coming from distroes are uninstalled.

There are some ofed RPMs coming from Linux distributions with different
names, including "ofed" in it. All these RPMs will be removed by OFED's install
script.

Signed-off-by: Vladimir Sokolovsky <vlad@mellanox.co.il>

diff --git a/install.pl b/install.pl
index 6550eccf2da24ce8ba2f6322020d3af12ab29834..b076c0d6a8d6dc9b24824caa77ac6ce8c4118181 100755 (executable)
--- a/install.pl
+++ b/install.pl
@@ -3868,8 +3868,9 @@ sub uninstall
         }
     }
 
+    my @other_ofed_rpms = `rpm -qa 2> /dev/null | grep ofed`;
     my $cmd = "rpm -e --allmatches";
-    for my $package (@all_packages, @hidden_packages, @prev_ofed_packages) {
+    for my $package (@all_packages, @hidden_packages, @prev_ofed_packages, @other_ofed_rpms) {
         next if ($package eq "mpi-selector");
         if (is_installed($package)) {
             $cmd .= " $package";