diff options
author | Nick Mathewson <nickm@torproject.org> | 2019-01-24 08:06:09 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2019-01-24 08:06:09 -0500 |
commit | dd22c84ccf07214d3d57642c2ba161be496f3607 (patch) | |
tree | 58b91ac328614832363ffc4db99740c69458410d | |
parent | 107e50a90f67ed26a7a24cc6135e5191601184fb (diff) | |
download | tor-dd22c84ccf07214d3d57642c2ba161be496f3607.tar.gz tor-dd22c84ccf07214d3d57642c2ba161be496f3607.zip |
Only run the checkIncludes.py script if it exists
(It was added in 0.3.5)
-rwxr-xr-x | scripts/maint/pre-commit.git-hook | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/maint/pre-commit.git-hook b/scripts/maint/pre-commit.git-hook index a0d0a8bb6c..b4c4ce2061 100755 --- a/scripts/maint/pre-commit.git-hook +++ b/scripts/maint/pre-commit.git-hook @@ -21,5 +21,6 @@ src/test/*.[ch] \ src/test/*/*.[ch] \ src/tools/*.[ch] -python scripts/maint/checkIncludes.py - +if test -e scripts/maint/checkIncludes.py; then + python scripts/maint/checkIncludes.py +fi |