Turn off pylint

2020-01-15 16:17:55 +01:00 · 2020-01-15 16:17:55 +01:00 · b7e47b4db5
commit b7e47b4db5
parent bcb001350a
1 changed files with 7 additions and 7 deletions
--- a/run.sh
+++ b/run.sh
@ -73,13 +73,13 @@ process_test()
                SUCCESS=no
            fi

-            if [[ "$PYLINT_OK" == "0" ]]
-            then
-                MSS="$MSS  PYLINT OK"
-            else
-                MSS="$MSS  PYLINT FAILED"
-#                SUCCESS=no
-            fi
+#             if [[ "$PYLINT_OK" == "0" ]]
+#             then
+#                 MSS="$MSS  PYLINT OK"
+#             else
+#                 MSS="$MSS  PYLINT FAILED"
+# #                SUCCESS=no
+#             fi

            if [[ "$JUST_NUMBER" -gt 205 && "$JUST_NUMBER" -le 219 ]]
            then