misc/hooks/README

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