On 11/19/19 9:51 AM, Philippe Mathieu-Daudé wrote: > I tried this quick way to filter some file/directory out of checkpatch.pl, and > it works nicely: > > $ cat .git/hooks/pre-commit > #!/bin/bash > exec git diff --cached -- ':(top)' $(test -e .checkpatchignore && sed -ne > '/^\(#.*\|$\)/ ! s/.*/:(exclude)\0/p' < .checkpatchignore) | > scripts/checkpatch.pl --no-signoff -q - > > $ cat .checkpatchignore > # A line starting with # serves as a comment. > # A blank line matches no files, so it can serve as a separator for > readability. > include/standard-headers > target/xtensa/core-* > target/hexagon/imported > > Would this be acceptable to reduce patchew false positives? > > git exclude pathspec trick from: > https://stackoverflow.com/questions/39931781/git-diff-stat-exclude-certain-files/39937070#39937070
Looks like a good solution to me. r~
