Fix for "grep: writing output: Broken pipe" in generate_about.sh
Change-Id: I7bdf1199c25dc7020ef650943f78e52249ea74c4
diff --git a/tools/generate_about.sh b/tools/generate_about.sh
index 02d9c1e..86ed9f6 100755
--- a/tools/generate_about.sh
+++ b/tools/generate_about.sh
@@ -112,8 +112,8 @@
REPLY=${REPLY// /}
[[ ${REPLY:0:1} == "(" ]] && continue
REPLY=${REPLY%->*}
- git log -1 --oneline ${REPLY} | grep ${HASH} >/dev/null 2>/dev/null && BRANCH=${REPLY} && break;
- done < <(git branch -a | grep -v ^\*)
+ git log -1 --oneline ${REPLY} | awk '/${HASH}/ {}' >/dev/null 2>/dev/null && BRANCH=${REPLY} && break;
+ done < <(git branch -a | awk '!/^\*/{}')
if [[ ${BRANCH//(/} == ${BRANCH} ]]
then