From: Curtis Dunham <Curtis.Dunham@arm.com>
Date: Thu, 28 Apr 2016 14:17:50 +0000 (+0100)
Subject: style: improve compatibility with old git versions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8be5717a02d7c50e4bacd8f86b7ac05f233b0ded;p=gem5.git

style: improve compatibility with old git versions

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

Change-Id: Ic62057567db061684be88a7c2d80a6a5d4c11dcf
---

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