sanchayanmaity/gem5
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

style: improve compatibility with old git versions

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

Change-Id: Ic62057567db061684be88a7c2d80a6a5d4c11dcf
This commit is contained in:
Curtis Dunham 2016-04-28 15:17:50 +01:00
parent f8c6ff1d1b
commit 8be5717a02
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
util/style/repo.py
View file

@ -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")