diff options
| -rwxr-xr-x | scripts/check_reset.sh | 27 |
1 files changed, 0 insertions, 27 deletions
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 |