From 68c3618ebe130cd88577e023233256d363eeb4f0 Mon Sep 17 00:00:00 2001
From: silicons <2003111+silicons@users.noreply.github.com>
Date: Mon, 9 Aug 2021 19:14:01 -0700
Subject: [PATCH] Update check_grep.sh

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

diff --git a/tools/ci/check_grep.sh b/tools/ci/check_grep.sh
index 9638215bb8..079f79704d 100755
--- a/tools/ci/check_grep.sh
+++ b/tools/ci/check_grep.sh
@@ -6,6 +6,10 @@ shopt -s globstar
 
 st=0
 
+if git grep -P "\r\n"; then
+    echo "ERROR: CRLF line endings detected. Please stop using the webeditor, and fix it using a desktop Git client."
+	st = 1
+fi;
 if grep -El '^\".+\" = \(.+\)' _maps/**/*.dmm;	then
     echo "ERROR: Non-TGM formatted map detected. Please convert it using Map Merger!"
     st=1