diff --git a/tools/grep-all.sh b/tools/grep-all.sh index ff656b4169..78a3c03b81 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}[=>