summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.am3
-rw-r--r--changes/ticket400307
2 files changed, 8 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 \
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.