diff options
| author | Curtis Dunham <Curtis.Dunham@arm.com> | 2016-04-28 15:17:50 +0100 |
|---|---|---|
| committer | Curtis Dunham <Curtis.Dunham@arm.com> | 2016-04-28 15:17:50 +0100 |
| commit | 8be5717a02d7c50e4bacd8f86b7ac05f233b0ded (patch) | |
| tree | 005ff804a54a988d60d7f4a0f0bc87b1e24144e8 /util/style | |
| parent | f8c6ff1d1bc2b92463ddead537bfb73a92ad68a7 (diff) | |
| download | gem5-8be5717a02d7c50e4bacd8f86b7ac05f233b0ded.tar.xz | |
style: improve compatibility with old git versions
Older versions of git need the '=' to connect --diff-filter to
its argument.
Change-Id: Ic62057567db061684be88a7c2d80a6a5d4c11dcf
Diffstat (limited to 'util/style')
| -rw-r--r-- | util/style/repo.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/style/repo.py b/util/style/repo.py index 1943e48b6..adcbdc95f 100644 --- a/util/style/repo.py +++ b/util/style/repo.py @@ -185,7 +185,7 @@ class GitRepo(AbstractRepo): if cached: cmd.append("--cached") if filter: - cmd += [ "--diff-filter", filter ] + cmd += [ "--diff-filter=%s" % filter ] cmd += [ self.head_revision(), "--" ] + files status = subprocess.check_output(cmd).rstrip("\n") |