mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-11-13 22:53:44 +01:00
14 lines
692 B
Plaintext
14 lines
692 B
Plaintext
|
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.
|