diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2016-01-30 03:49:41 +0000 |
|---|---|---|
| committer | João Valverde <j@v6e.pt> | 2016-02-25 12:34:50 +0000 |
| commit | fe1de0146e607652333e729d6c11f43584744785 (patch) | |
| tree | 6e8d2a38f50bb822fff6b08ff4a58d6c1b2d6f7f /tools/pre-commit-ignore.conf | |
| parent | fd9e71d15d4023438deb51b043332d61f7f5207c (diff) | |
pre-commit: Avoid launching python subprocesses.
This makes Python required only for (portable) fnmatch().
Change the ignore script to work as a filter.
Multi-platform improvements.
Change-Id: I6ac757d48ba2ff965da5da3dc9c25047a0e37f92
Reviewed-on: https://code.wireshark.org/review/13693
Reviewed-by: Michael Mann <mmann78@netscape.net>
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to 'tools/pre-commit-ignore.conf')
| -rw-r--r-- | tools/pre-commit-ignore.conf | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tools/pre-commit-ignore.conf b/tools/pre-commit-ignore.conf new file mode 100644 index 0000000000..6c79168e41 --- /dev/null +++ b/tools/pre-commit-ignore.conf @@ -0,0 +1,17 @@ +# 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 is compared against the output of 'git diff-index --name-only'. +# For example to skip checking this file add: +# +# tools/pre-commit-ignore.conf +# +# The pathname wildcards allowed are: '*', '?', character set '[abc]' or +# negated with '[!abc]'. + +asn1/*/packet-*-template.c +extcap/* +tools/lemon/* +wsutil/inet_aton.c +wsutil/inet_ntop.c +wsutil/inet_pton.c |