projects
/
gem5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
95d6d93
)
style: respect per verifier ignores for git commit
author
Gabor Dozsa
<gabor.dozsa@arm.com>
Thu, 2 Jun 2016 09:48:16 +0000
(10:48 +0100)
committer
Gabor Dozsa
<gabor.dozsa@arm.com>
Thu, 2 Jun 2016 09:48:16 +0000
(10:48 +0100)
Change-Id: Id00379bdb17594e627ee49c077fb75f499ea550e
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
util/git-pre-commit.py
patch
|
blob
|
history
diff --git
a/util/git-pre-commit.py
b/util/git-pre-commit.py
index 35385084647c1472ea0fef33aa457f3a98dbbbed..480bba1c929eb4ac6bbde35bce084ce6f5c1f0db 100755
(executable)
--- a/
util/git-pre-commit.py
+++ b/
util/git-pre-commit.py
@@
-75,7
+75,7
@@
for status, fname in git.status(filter="MA", cached=True):
verifiers = [ v(ui, opts, base=repo_base) for v in all_verifiers ]
for v in verifiers:
- if v.check(fname, regions):
+ if
not v.skip(fname) and
v.check(fname, regions):
failing_files.add(fname)
if failing_files: