quick fix for the check_grep file

2024-03-12 21:50:13 -03:00
parent e8f490154f
commit 83102c5cf4
1 changed files with 6 additions and 0 deletions
@@ -4,6 +4,12 @@ set -euo pipefail
 #nb: must be bash to support shopt globstar
 shopt -s globstar
 #ANSI Escape Codes for colors to increase contrast of errors
 RED="\033[0;31m"
 GREEN="\033[0;32m"
 BLUE="\033[0;34m"
 NC="\033[0m" # No Color
 st=0
 if git grep -P "\r\n"; then