diff options
| -rwxr-xr-x | scripts/maint/pre-commit.git-hook | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/maint/pre-commit.git-hook b/scripts/maint/pre-commit.git-hook index 0868559606..724cd77321 100755 --- a/scripts/maint/pre-commit.git-hook +++ b/scripts/maint/pre-commit.git-hook @@ -21,3 +21,5 @@ src/test/*.[ch] \ src/test/*/*.[ch] \ src/tools/*.[ch] +python scripts/maint/checkIncludes.py + |