From ada309185b9d1c687c22d86bbbef4193a9febecd Mon Sep 17 00:00:00 2001
From: Letter N <24603524+LetterN@users.noreply.github.com>
Date: Fri, 5 Mar 2021 14:41:15 +0800
Subject: [PATCH] shh

---
 tools/ci/check_grep.sh | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/tools/ci/check_grep.sh b/tools/ci/check_grep.sh
index fe92630aad..53048fe153 100755
--- a/tools/ci/check_grep.sh
+++ b/tools/ci/check_grep.sh
@@ -48,16 +48,16 @@ if grep -P '^/*var/' code/**/*.dm; then
     echo "ERROR: Unmanaged global var use detected in code, please use the helpers."
     st=1
 fi;
-echo "Checking for space indentation"
-if grep -P '(^ {2})|(^ [^ * ])|(^    +)' code/**/*.dm; then
-    echo "space indentation detected"
-    st=1
-fi;
-echo "Checking for mixed indentation"
-if grep -P '^\t+ [^ *]' code/**/*.dm; then
-    echo "mixed <tab><space> indentation detected"
-    st=1
-fi;
+# echo "Checking for space indentation"
+# if grep -P '(^ {2})|(^ [^ * ])|(^    +)' code/**/*.dm; then
+#     echo "space indentation detected"
+#     st=1
+# fi;
+# echo "Checking for mixed indentation"
+# if grep -P '^\t+ [^ *]' code/**/*.dm; then
+#     echo "mixed <tab><space> indentation detected"
+#     st=1
+# fi;
 nl='
 '
 nl=$'\n'