diff options
| author | Gabor Dozsa <gabor.dozsa@arm.com> | 2016-06-02 10:48:16 +0100 |
|---|---|---|
| committer | Gabor Dozsa <gabor.dozsa@arm.com> | 2016-06-02 10:48:16 +0100 |
| commit | f23bd6b248d4fef32e625c794b6767edfb03e914 (patch) | |
| tree | 7e36727d62887d7da16477146b15dabb562bc837 /util | |
| parent | 95d6d9321fc8fddef72ff86b87cdfe7635b625c3 (diff) | |
| download | gem5-f23bd6b248d4fef32e625c794b6767edfb03e914.tar.xz | |
style: respect per verifier ignores for git commit
Change-Id: Id00379bdb17594e627ee49c077fb75f499ea550e
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Diffstat (limited to 'util')
| -rwxr-xr-x | util/git-pre-commit.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/git-pre-commit.py b/util/git-pre-commit.py index 353850846..480bba1c9 100755 --- 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: |