* [PATCH] docs: dev-tools: correct Coccinelle version number
@ 2017-10-15 9:24 Julia Lawall
2017-10-19 18:55 ` Jonathan Corbet
0 siblings, 1 reply; 2+ messages in thread
From: Julia Lawall @ 2017-10-15 9:24 UTC (permalink / raw)
To: Luis R . Rodriguez
Cc: kernel-janitors, Gilles Muller, Nicolas Palix, Michal Marek,
Jonathan Corbet, cocci, linux-doc, linux-kernel
There is no Coccinelle version 1.2. 1.0.2 must be what was intended.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
---
Documentation/dev-tools/coccinelle.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst
index 4a64b4c..37e474f 100644
--- 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
--------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] docs: dev-tools: correct Coccinelle version number
2017-10-15 9:24 [PATCH] docs: dev-tools: correct Coccinelle version number Julia Lawall
@ 2017-10-19 18:55 ` Jonathan Corbet
0 siblings, 0 replies; 2+ messages in thread
From: Jonathan Corbet @ 2017-10-19 18:55 UTC (permalink / raw)
To: Julia Lawall
Cc: Luis R . Rodriguez, kernel-janitors, Gilles Muller,
Nicolas Palix, Michal Marek, cocci, linux-doc, linux-kernel
On Sun, 15 Oct 2017 11:24:08 +0200
Julia Lawall <Julia.Lawall@lip6.fr> wrote:
> There is no Coccinelle version 1.2. 1.0.2 must be what was intended.
>
> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Applied, thanks.
jon
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-10-19 18:55 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-10-15 9:24 [PATCH] docs: dev-tools: correct Coccinelle version number Julia Lawall
2017-10-19 18:55 ` Jonathan Corbet
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®