From a8bc5a353ea997f73209b39377ee15a73e471237 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Mon, 15 Jan 2024 10:40:36 -0600
Subject: scripts/check_reset.sh: remove

---
 scripts/check_reset.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 scripts/check_reset.sh

(limited to 'scripts/check_reset.sh')

diff --git a/scripts/check_reset.sh b/scripts/check_reset.sh
deleted file mode 100755
index 7fb5fac..0000000
--- a/scripts/check_reset.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-git grep -Po '(?<!\.)\b\w+\b(?= <=)' rtl | tr ':' ' ' | while read X; do
-	A=$(echo "$X" | awk '{ print $1; }')
-	B=$(echo "$X" | awk '{ print $2; }')
-	RST="$(grep 'if(!rst_n)' $A)"
-	OK=
-
-	if echo "$RST" | grep -q begin; then
-		N=1
-		while true; do
-			R="$(grep -A$N "$RST" "$A")";
-			if echo "$R" | grep -q '\<end\>'; then
-				break
-			elif echo "$R" | grep -q "$B"; then
-				OK=1
-				break
-			fi
-
-			N=$((N+1))
-		done
-	else
-		(grep -A1 "$RST" "$A" | grep -q "$B") && OK=1
-	fi
-
-	[ -z "$OK" ] && echo "$A: $B"
-done
-- 
cgit v1.2.3