From 8a1bbaa56382b1bca3b95d79c716fc377c78e591 Mon Sep 17 00:00:00 2001
From: Pierre Bourdon <delroth@gmail.com>
Date: Fri, 24 Jun 2016 14:27:35 +0200
Subject: [PATCH] lint: bash is hard, actually return errors

---
 Tools/lint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/lint.sh b/Tools/lint.sh
index 4e502bdd4b..c1feb41fe3 100755
--- a/Tools/lint.sh
+++ b/Tools/lint.sh
@@ -5,7 +5,7 @@
 fail=0
 
 # Check for clang-format issues.
-git status --porcelain | awk '{print $2}' | while read f; do
+for f in $(git status --porcelain | awk '{print $2}'); do
   if ! echo "${f}" | egrep -q "[.](cpp|h|mm)$"; then
     continue
   fi