diff --git a/tools/grep-all.sh b/tools/grep-all.sh index 12dce9a335..0d251e6231 100755 --- a/tools/grep-all.sh +++ b/tools/grep-all.sh @@ -31,7 +31,7 @@ declare -a branches=($(git describe --always) origin/master ) function search() { - git grep -Ei "^${1}" ${2} -- "${3}" | cut -d: -f4- + git grep -Ei "^${1}[=>