whitelist CentOS version 7.6 in setup.csh and setup.sh (#985) (#990)

Xilinx · Feb 20, 2019 · 48cafdc · 48cafdc
1 parent 341046d
commit 48cafdc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/runtime_src/tools/scripts/setup.csh b/src/runtime_src/tools/scripts/setup.csh
@@ -39,7 +39,7 @@ if ( "$OSDIST" =~ "ubuntu" ) then
 endif
 
 if ( "$OSDIST" =~ centos  || "$OSDIST" =~ redhat* ) then
-    if ( "$OSREL" !~ 7.4* && "$OSREL" !~ 7.5* ) then
+    if ( "$OSREL" !~ 7.4* && "$OSREL" !~ 7.5* && "$OSREL" !~ 7.6* ) then
         echo "ERROR: Centos or RHEL release version must be 7.4 or later"
         exit 1
     endif

diff --git a/src/runtime_src/tools/scripts/setup.sh b/src/runtime_src/tools/scripts/setup.sh
@@ -15,7 +15,7 @@ if [[ $OSDIST == "ubuntu" ]]; then
 fi
 
 if [[ $OSDIST == "centos" ]] || [[ $OSDIST == "redhat"* ]]; then
-    if [[ $OSREL != "7.4"* ]] &&  [[ $OSREL != "7.5"* ]]; then
+    if [[ $OSREL != "7.4"* ]] &&  [[ $OSREL != "7.5"* ]] && [[ $OSREL != "7.6"* ]]; then
         echo "ERROR: Centos or RHEL release version must be 7.4 or later"
         return 1
     fi