diff options
-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" |