projects / gem5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8c6ff1) | patch
style: improve compatibility with old git versions
authorCurtis Dunham <Curtis.Dunham@arm.com>
Thu, 28 Apr 2016 14:17:50 +0000 (15:17 +0100)
committerCurtis Dunham <Curtis.Dunham@arm.com>
Thu, 28 Apr 2016 14:17:50 +0000 (15:17 +0100)
commit8be5717a02d7c50e4bacd8f86b7ac05f233b0ded
tree005ff804a54a988d60d7f4a0f0bc87b1e24144e8tree
parentf8c6ff1d1bc2b92463ddead537bfb73a92ad68a7commit | diff
style: improve compatibility with old git versions

Older versions of git need the '=' to connect --diff-filter to
its argument.

Change-Id: Ic62057567db061684be88a7c2d80a6a5d4c11dcf
util/style/repo.py diff | blob | history