shh

2021-03-05 14:41:15 +08:00
parent cb346a3847
commit ada309185b
1 changed files with 10 additions and 10 deletions
@@ -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'