Léo Lam cbb77532c6 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)
2016-08-02 22:00:41 +02:00
..
2016-07-13 17:29:27 +02:00
2016-08-01 18:33:46 -04:00
2016-01-05 19:42:02 -06:00