platform_check_v36.diff

--- platform_check.orig	2019-12-23 15:34:28.380333391 +0000
+++ platform_check	2019-12-23 15:35:50.004593076 +0000
@@ -12,15 +12,7 @@
 case $PLATFORM in
     linux | linux_a_64 )
         case $VERSION in
-            5.*)
-                fullsubver=`echo $VERSION | sed s/5\\\.//`
-                numsubver=`echo $fullsubver | sed -e 's/[^0-9].*//'`
-                if [ $numsubver -gt 8 ]; then
-                   PLATFORM_STATUS="ok";
-                else
-                   PLATFORM_STATUS=`echo $PLATFORM $VERSION`;
-                fi;;
-            3.* | 2.4.* | 2.6.*  )
+            5.* | 4.* | 3.* | 2.4.* | 2.6.*  )
                 PLATFORM_STATUS="ok";;
             *)
                 PLATFORM_STATUS=`echo $PLATFORM $VERSION`;;