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 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 indentation detected" +# st=1 +# fi; nl=' ' nl=$'\n'