dolphin/Tools
Léo Lam 1fe31f6f19 Tools: Fix the lint script
It turns out that last fix was only partial, and it didn't fix the
issue completely as paths were fixed, but staged changes were not
in the list. This should fix it for real, this time. Sorry about that…

(git diff needs --cached to include staged changes, unlike git status.)
2016-08-11 21:11:17 +02:00
..
buildbot-try.sh
check-includes.py
CleanFiles.py
deploy-mac.py Tools: Collapse install_name_tool calls in deploy-mac 2015-06-06 12:51:47 -07:00
find-includes-cycles.py
gameini-ratings-from-wiki.sh
lint.sh Tools: Fix the lint script 2016-08-11 21:11:17 +02:00
perf-disassemble.sh
ReadDolphinMap.idc
symbolicate-ppc.py Tool to transform JIT_PPC_${address} to JIT_PPC_${symbol} 2015-07-24 00:11:56 +02:00
update-license-headers.sh