diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2015-12-31 15:14:06 +0000 |
|---|---|---|
| committer | Michael Mann <mmann78@netscape.net> | 2016-01-05 21:32:22 +0000 |
| commit | 5815d1080ad7b934f120a54e7c8f85c3617f539c (patch) | |
| tree | 0b827ef60904cde64d36721cbbf519f955d13fcf /tools/pre-commit-checkignore.txt | |
| parent | 0fa5a78a867cb683c6b83c2514c77b152f1b4e1f (diff) | |
Add basic exclude facility to pre-commit hook checks
Change-Id: If08fd1481e58f785fed90a7d8c24aa2a1e0f3df7
Reviewed-on: https://code.wireshark.org/review/12958
Reviewed-by: Michael Mann <mmann78@netscape.net>
Diffstat (limited to 'tools/pre-commit-checkignore.txt')
| -rw-r--r-- | tools/pre-commit-checkignore.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/pre-commit-checkignore.txt b/tools/pre-commit-checkignore.txt new file mode 100644 index 0000000000..d7598f4c9d --- /dev/null +++ b/tools/pre-commit-checkignore.txt @@ -0,0 +1,11 @@ +# Files listed here are ignored by the git pre-commit hook for the +# purpose of checking for forbidden APIs and other dissector-specific +# glitches. +# +# Each line must match a single file using the full path, exactly as +# return by 'git diff-index --name-only', e.g.: +# +#tools/pre-commit-checkignore.txt +# + +tools/lemon/lemon.c |