torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

scripts/git: Add check_cocci_parse.sh to the pre-commit hook

Browse Source 
But only check modified files, which dramatically speeds up
check_cocci_parse.sh.

Part of 31919.
This commit is contained in:
teor
2019-10-23 15:43:27 +10:00
parent 71b8b7ee2d
commit b9a2286765
2 changed files with 76 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/git/pre-commit.git-hook
+41
View File
@@ -19,6 +19,7 @@ fi
if [ -d src/lib ]; then
# This is the layout in 0.3.5
# There are two copies of this list in this file
perl scripts/maint/checkSpace.pl -C \
src/lib/*/*.[ch] \
src/core/*/*.[ch] \
@@ -57,3 +58,43 @@ fi
if [ -e scripts/maint/checkShellScripts.sh ]; then
scripts/maint/checkShellScripts.sh
fi
if [ -e scripts/coccinelle/check_cocci_parse.sh ]; then
if [ $# -eq 0 ]; then
# When called in pre-commit, check the files modified in this commit
CHECK_FILTER="git diff --cached --name-only --diff-filter=ACMR"
# Use the owned tor source layout from 0.3.5 to filter the changed
# files.
# (There are two copies of this list in this file.)
CHECK_FILES="$($CHECK_FILTER \
src/lib/*/*.[ch] \
src/core/*/*.[ch] \
src/feature/*/*.[ch] \
src/app/*/*.[ch] \
src/test/*.[ch] \
src/test/*/*.[ch] \
src/tools/*.[ch] \
)"
fi
if [ "${CHECK_FILES:-$*}" ]; then
printf "Modified files:\n%s\n" "${CHECK_FILES:-$*}"
# Run a verbose cocci parse check on the changed files
# (spatch is slow, so we don't want to check all the files.)
if [ $# -eq 0 ]; then
# pre-commit: use $CHECK_FILES, fails on spaces in file names
#
# We want word splitting here, because file names are space
# separated
# shellcheck disable=SC2086
VERBOSE=1 scripts/coccinelle/check_cocci_parse.sh \
$CHECK_FILES
else
# pre-push: use "$@" to preserve spaces in arguments
VERBOSE=1 scripts/coccinelle/check_cocci_parse.sh \
"$@"
fi
fi
fi