aboutsummaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorDavid Goulet <dgoulet@torproject.org>2020-07-13 15:04:13 -0400
committerDavid Goulet <dgoulet@torproject.org>2020-07-13 15:04:13 -0400
commit29a474294c968218576ec6d912a94b8187a1e47b (patch)
tree46fe73fb3c2da80d107420eb3d4492e5a9722c95 /Makefile.am
parent02cff32d7947cd230b1dab299b29dec5315ea4b9 (diff)
parent515d4f1e93bcf9160c8b41d5a90b3144388f706f (diff)
downloadtor-29a474294c968218576ec6d912a94b8187a1e47b.tar.gz
tor-29a474294c968218576ec6d912a94b8187a1e47b.zip
Merge branch 'maint-0.4.4'
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am
index 711d2cc037..4b708af9e5 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -273,8 +273,7 @@ check-local: \
check-spaces \
check-changes \
check-includes \
- shellcheck \
- check-cocci
+ shellcheck
# test-network requires a copy of Chutney in $CHUTNEY_PATH.
# Chutney can be cloned from https://git.torproject.org/chutney.git .