diff options
| author | Nick Mathewson <nickm@torproject.org> | 2020-07-13 09:24:26 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2020-07-13 09:24:26 -0400 |
| commit | 0acc3ae87904ca5d9bd430a5a89f89dd97f9ec85 (patch) | |
| tree | ddcff8e842c44fc4dbe5b2a3c5bc3cb59a692578 /Makefile.am | |
| parent | 3517d203227284d41ead62d65e90b38b9f11186e (diff) | |
| download | tor-0acc3ae87904ca5d9bd430a5a89f89dd97f9ec85.tar.gz tor-0acc3ae87904ca5d9bd430a5a89f89dd97f9ec85.zip | |
Remove check-cocci from check-local target.
check-cocci is still a good idea -- perhaps as a cron job? But
doing it as part of our regular tests has just been confusing,
especially to volunteers who shouldn't have to become coccinelle
experts in order to get their patches through our CI.
Closes #40030.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 8b55bf0e32..3b30c01f00 100644 --- a/Makefile.am +++ b/Makefile.am @@ -271,8 +271,7 @@ check-local: \ check-spaces \ check-changes \ check-includes \ - shellcheck \ - check-cocci + shellcheck need-chutney-path: @if test ! -d "$$CHUTNEY_PATH"; then \ |