dolphin/Tools
Léo Lam 9c63544445 Tools: Allow diffing against arbitrary revisions
Instead of applying PRs as patches and leaving them as staged changes,
the lint builder now checks out the PR branch, so the lint script
must be able to call git diff with more than just --cached.
(The buildbot will call it with "master...".)
2017-06-05 02:19:08 +02:00
..
buildbot-try.sh
check-includes.py
CleanFiles.py
find-includes-cycles.py
gameini-ratings-from-wiki.sh
lint.sh Tools: Allow diffing against arbitrary revisions 2017-06-05 02:19:08 +02:00
perf-disassemble.sh
ReadDolphinMap.idc
symbolicate-ppc.py
update-license-headers.sh
update-wiitdb.sh Tools: Simplify update-wiitdb.sh 2017-05-26 10:05:18 +02:00