aboutsummaryrefslogtreecommitdiff
path: root/changes/ticket31919
blob: 5344db956baf70e710172a78bf9098b017ae4f60 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
  o Minor features (developer tools):
    - Add a check_cocci_parse.sh script that checks that new code
      is parseable by Coccinelle. Add an exceptions file for unparseable
      files. Closes ticket 31919.
    - Call the check_cocci_parse.sh script from a 'check-cocci' Makefile
      target. Closes ticket 31919.
  o Minor features (git scripts):
    - Call the check_cocci_parse.sh script from the git commit and push hooks.
      Closes ticket 31919.
    - Skip unmodified source files when doing some existing git hook checks.
      Related to ticket 31919.
  o Minor features (continuous integration):
    - Call the check_cocci_parse.sh script from Travis CI. Closes ticket 31919.