diff options
| author | Léo Lam <leo@innovatetechnologi.es> | 2016-08-02 22:00:41 +0200 |
|---|---|---|
| committer | Léo Lam <leo@innovatetechnologi.es> | 2016-08-02 22:00:41 +0200 |
| commit | cbb77532c69d232ac57f43c5146029d02cc00ec9 (patch) | |
| tree | 24a3cc25bce055f4683f294039c6aaa31fb4ef93 /Tools | |
| parent | c3b932c46eef0fcf2bf8365c08d9b848e150e05e (diff) | |
Tools: Fix lint by removing unneeded awk
git diff --name-only already took care of only returning the name, so
the awk is unneeded and makes it return only empty file names.
Facepalm, I know. Sorry for this oversight.
(Also fixes something that lint didn't catch because of this)
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/lint.sh b/Tools/lint.sh index 6802e7abb5..841c7d0d92 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -5,7 +5,7 @@ fail=0 # Check for clang-format issues. -for f in $(git diff --name-only --diff-filter=ACMRTUXB | awk '{print $2}'); do +for f in $(git diff --name-only --diff-filter=ACMRTUXB); do if ! echo "${f}" | egrep -q "[.](cpp|h|mm)$"; then continue fi |