diff options
| author | luckytyphlosion <10688458+luckytyphlosion@users.noreply.github.com> | 2020-07-08 15:40:04 -0400 |
|---|---|---|
| committer | luckytyphlosion <10688458+luckytyphlosion@users.noreply.github.com> | 2020-07-08 15:40:04 -0400 |
| commit | 71d26549e697ff63f9930ff5386d837cf4e0eb6f (patch) | |
| tree | 63ab136a63fcb31e49ca7b3303df81c464913c94 | |
| parent | 8a323538cf5f147205be8b4033274f7f5560fbb0 (diff) | |
Remove cgrep.sh and hgrep.sh
Will be added in another PR.
| -rw-r--r-- | cgrep.sh | 10 | ||||
| -rw-r--r-- | hgrep.sh | 10 |
2 files changed, 0 insertions, 20 deletions
diff --git a/cgrep.sh b/cgrep.sh deleted file mode 100644 index aeb829028..000000000 --- a/cgrep.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -# $1: phrase to find - -if [ "$2" == "" ]; then - grep_flags="-wr" -else - grep_flags="$2" -fi - -grep "$1" "$grep_flags" --include="*.c" --include="*.h" --include="*.s" --include="*.inc" --include="*.txt" --exclude-dir=".git" --exclude-dir=".travis" --exclude-dir="build" --exclude-dir="common_syms" --exclude-dir="data" --exclude-dir="graphics" --exclude-dir="sound" --exclude-dir="tools" --exclude-dir="berry_fix/build" --exclude-dir="berry_fix/payload/build" diff --git a/hgrep.sh b/hgrep.sh deleted file mode 100644 index 1906f28d0..000000000 --- a/hgrep.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -# $1: phrase to find - -if [ "$2" == "" ]; then - grep_flags="-wr" -else - grep_flags="$2" -fi - -grep "$1" "$grep_flags" --include="*.h" --include="*.s" --include="*.inc" --include="*.txt" --exclude-dir=".git" --exclude-dir=".travis" --exclude-dir="build" --exclude-dir="common_syms" --exclude-dir="data" --exclude-dir="graphics" --exclude-dir="sound" --exclude-dir="tools" --exclude-dir="berry_fix/build" --exclude-dir="berry_fix/payload/build" |