install.pl: Added RHEL7.1

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

diff --git a/install.pl b/install.pl
index c23ff06180e3fbed6bc5a16c0a9966da9901c111..50fa814457170a9c4edb1f70dc922c91080b4445 100755 (executable)
--- a/install.pl
+++ b/install.pl
@@ -278,6 +278,9 @@ if ($dist_rpm =~ /openSUSE-release-11.2/) {
 } elsif ($dist_rpm =~ /redhat-release-.*-7.0|sl-release-7.0|centos-release-7-0/) {
     $DISTRO = "RHEL7.0";
     $rpm_distro = "rhel7u0";
+} elsif ($dist_rpm =~ /redhat-release-.*-7.1|sl-release-7.1|centos-release-7-1/) {
+    $DISTRO = "RHEL7.1";
+    $rpm_distro = "rhel7u1";
 } elsif ($dist_rpm =~ /oraclelinux-release-6.*-1.0.2/) {
     $DISTRO = "OEL6.1";
     $rpm_distro = "oel6u1";