From 41f2e427a61fed662d36a46e007c80bba40648bd Mon Sep 17 00:00:00 2001
From: Letter N <24603524+LetterN@users.noreply.github.com>
Date: Thu, 4 Mar 2021 22:23:30 +0800
Subject: [PATCH] a

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

diff --git a/tools/ci/check_grep.sh b/tools/ci/check_grep.sh
index c2d1bd5b49..51a53ac4be 100755
--- a/tools/ci/check_grep.sh
+++ b/tools/ci/check_grep.sh
@@ -22,15 +22,15 @@ if grep -P 'pixel_[^xy]' _maps/**/*.dmm;	then
     echo "ERROR: incorrect pixel offset variables detected in maps, please remove them."
     st=1
 fi;
-echo "Checking for cable varedits"
-if grep -P '/obj/structure/cable(/\w+)+\{' _maps/**/*.dmm;	then
-    echo "ERROR: vareditted cables detected, please remove them."
-    st=1
-fi;
-if grep -P '\td[1-2] =' _maps/**/*.dmm;	then
-    echo "ERROR: d1/d2 cable variables detected in maps, please remove them."
-    st=1
-fi;
+# echo "Checking for cable varedits"
+# if grep -P '/obj/structure/cable(/\w+)+\{' _maps/**/*.dmm;	then
+#     echo "ERROR: vareditted cables detected, please remove them."
+#     st=1
+# fi;
+# if grep -P '\td[1-2] =' _maps/**/*.dmm;	then
+#     echo "ERROR: d1/d2 cable variables detected in maps, please remove them."
+#     st=1
+# fi;
 echo "Checking for stacked cables"
 if grep -P '"\w+" = \(\n([^)]+\n)*/obj/structure/cable,\n([^)]+\n)*/obj/structure/cable,\n([^)]+\n)*/area/.+\)' _maps/**/*.dmm;	then
     echo "found multiple cables on the same tile, please remove them."