Merge pull request #13550 from pgavlin/DevDiv482577

[platform/upstream/coreclr.git] / init-tools.sh

diff --git a/init-tools.sh b/init-tools.sh
index eb68c2e..4ec011d 100755 (executable)
--- a/init-tools.sh
+++ b/init-tools.sh
@@ -37,6 +37,14 @@ if [ -z "$__DOTNET_PKG" ]; then
         Linux)
             __DOTNET_PKG=dotnet-dev-linux-x64
             OS=Linux
+
+            if [ -e /etc/redhat-release ]; then
+                redhatRelease=$(</etc/redhat-release)
+                if [[ $redhatRelease == "CentOS release 6."* || $redhatRelease == "Red Hat Enterprise Linux Server release 6."* ]]; then
+                    __DOTNET_PKG=dotnet-dev-rhel.6-x64
+                fi
+            fi
+
             ;;
 
         *)