commit 9be0324c2cceb61e86bbbc1ecd73266513608f3b Author: teor teor@torproject.org Date: Thu Oct 24 09:48:37 2019 +1000
changes: file for 31919 --- changes/ticket31919 | 13 +++++++++++++ 1 file changed, 13 insertions(+)
diff --git a/changes/ticket31919 b/changes/ticket31919 new file mode 100644 index 000000000..5344db956 --- /dev/null +++ b/changes/ticket31919 @@ -0,0 +1,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.