misc/hooks/README

   1 Git provides hooks to automatically execute scripts at certain points.
   2 See the `Git Community Book`_ for details.
   3
   4 <file path=".git/hooks/pre-commit">
   5 #!/bin/sh
   6 ./misc/hooks/pre-commit-diff-check || exit 1    # check patch formatting
   7 make check || exit 1                            # check sawsim execution
   8 </file>
   9
  10 .. _Git Community Book: http://book.git-scm.com/5_git_hooks.html