From 83102c5cf4b36027360eb42459bfaa32ff6d340c Mon Sep 17 00:00:00 2001
From: SandPoot <enric_gabirel@hotmail.com>
Date: Tue, 12 Mar 2024 21:50:13 -0300
Subject: [PATCH] quick fix for the check_grep file

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

diff --git a/tools/ci/check_grep.sh b/tools/ci/check_grep.sh
index c114eee1c6..bdf81330ef 100755
--- a/tools/ci/check_grep.sh
+++ b/tools/ci/check_grep.sh
@@ -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