From 0acc3ae87904ca5d9bd430a5a89f89dd97f9ec85 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Mon, 13 Jul 2020 09:24:26 -0400 Subject: 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. --- Makefile.am | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Makefile.am') 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 \ -- cgit v1.2.3-54-g00ecf