install.pl: Added RHEL7.3

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

diff --git a/install.pl b/install.pl
index 2d702508972a8e54fdee3f87c27717a3323d2c93..8ffd742a31872251af5c113edcffaea87669b77d 100755 (executable)
--- a/install.pl
+++ b/install.pl
@@ -299,6 +299,9 @@ if ($dist_rpm =~ /openSUSE-release-11.2/) {
 } elsif ($dist_rpm =~ /redhat-release-.*-7.2|sl-release-7.2|centos-release-7-2/) {
     $DISTRO = "RHEL7.2";
     $rpm_distro = "rhel7u2";
+} elsif ($dist_rpm =~ /redhat-release-.*-7.3|sl-release-7.3|centos-release-7-3/) {
+    $DISTRO = "RHEL7.3";
+    $rpm_distro = "rhel7u3";
 } elsif ($dist_rpm =~ /oraclelinux-release-6.*-1.0.2/) {
     $DISTRO = "OEL6.1";
     $rpm_distro = "oel6u1";