From 958b70031763713e3af07bba9b758e24c6ac623e Mon Sep 17 00:00:00 2001
From: Dirk Mueller <dirk@dmllr.de>
Date: Tue, 21 Feb 2017 16:18:36 +0100
Subject: [PATCH] Use git grep -h for skipping the filenames

That seems to be more portable accross different environments
(aka make it work for dirk)

Change-Id: I4eee201ed0114cf7aa9f9be39d1335326691bf99
---
 tools/grep-all.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}[=><!]" ${2} -- "${3}" | cut -d: -f4-
+    git grep -hEi "^${1}[=><!]" ${2} -- "${3}"
 }
 
 printf '\nRequirements\n'