projects
/
linux-2.6-block.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1ad6e3b
)
docs: dev-tools: correct Coccinelle version number
author
Julia Lawall
<Julia.Lawall@lip6.fr>
Sun, 15 Oct 2017 09:24:08 +0000
(11:24 +0200)
committer
Jonathan Corbet
<corbet@lwn.net>
Thu, 19 Oct 2017 18:55:24 +0000
(12:55 -0600)
There is no Coccinelle version 1.2. 1.0.2 must be what was intended.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Documentation/dev-tools/coccinelle.rst
patch
|
blob
|
blame
|
history
diff --git
a/Documentation/dev-tools/coccinelle.rst
b/Documentation/dev-tools/coccinelle.rst
index 4a64b4c69d3f9590733b8b5e23899449748fcabf..37e474ff69115da89dd780475a35d119d5ee4383 100644
(file)
--- a/
Documentation/dev-tools/coccinelle.rst
+++ b/
Documentation/dev-tools/coccinelle.rst
@@
-209,7
+209,7
@@
err.log will now have the profiling information, while stdout will
provide some progress information as Coccinelle moves forward with
work.
-DEBUG_FILE support is only supported when using coccinelle >= 1.2.
+DEBUG_FILE support is only supported when using coccinelle >= 1.
0.
2.
.cocciconfig support
--------------------