diff options
| author | teor <teor@torproject.org> | 2019-11-26 09:20:57 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2019-12-20 09:35:18 +1000 |
| commit | ac3a9aaf0dc6f376368f1ad51c79e332da52adc2 (patch) | |
| tree | 1ea1dcb3cc143ef088e240d3b8c50c52d06e01fe /scripts/git/pre-commit.git-hook | |
| parent | a6ba56761b6dc22011eee015f371d37d7b399a64 (diff) | |
| download | tor-ac3a9aaf0dc6f376368f1ad51c79e332da52adc2.tar.gz tor-ac3a9aaf0dc6f376368f1ad51c79e332da52adc2.zip | |
Makefile/git scripts: Add comments to keep owned file lists in sync
Diffstat (limited to 'scripts/git/pre-commit.git-hook')
| -rwxr-xr-x | scripts/git/pre-commit.git-hook | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/git/pre-commit.git-hook b/scripts/git/pre-commit.git-hook index 95d566b17d..d5a75f2794 100755 --- a/scripts/git/pre-commit.git-hook +++ b/scripts/git/pre-commit.git-hook @@ -19,6 +19,10 @@ if [ $# -eq 0 ]; then # Use the appropriate owned tor source list to filter the changed files if [ -d src/lib ]; then # This is the layout in 0.3.5 + # Keep these lists consistent: + # - OWNED_TOR_C_FILES in Makefile.am + # - CHECK_FILES in pre-commit.git-hook and pre-push.git-hook + # - try_parse in check_cocci_parse.sh CHECK_FILES="$($CHECK_FILTER \ src/lib/*/*.[ch] \ src/core/*/*.[ch] \ |