diff options
| author | Léo Lam <leo@innovatetechnologi.es> | 2017-06-05 02:16:29 +0200 |
|---|---|---|
| committer | Léo Lam <leo@innovatetechnologi.es> | 2017-06-05 02:19:08 +0200 |
| commit | 9c63544445bb64b38f4a510be0e3928ba0db138e (patch) | |
| tree | 585ed3d99d8d53b2708ddeebd4b00889195d084d /Source/Core/InputCommon/ControllerInterface/DInput | |
| parent | 2f41345de24236db147b442c7ca41e39a98006bf (diff) | |
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...".)
Diffstat (limited to 'Source/Core/InputCommon/ControllerInterface/DInput')
0 files changed, 0 insertions, 0 deletions