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 \
diff --git a/changes/ticket40030 b/changes/ticket40030
new file mode 100644
index 0000000000..c5f3ca4ff9
--- /dev/null
+++ b/changes/ticket40030
@@ -0,0 +1,7 @@
+  o Removed features:
+    - Our "check-local" test target no longer tries to use the Coccinelle
+      semantic patching tool parse all the C files.  While it is a good idea
+      to try to make sure Coccinelle works on our C before we run a
+      Coccinelle patch, doing so on every test run has proven to be disruptive.
+      You can still run this tool manually with "make check-cocci". Closes
+      ticket 40030.