aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Documentation/coccinelle.txt19
-rwxr-xr-xscripts/coccicheck5
2 files changed, 13 insertions, 11 deletions
diff --git a/Documentation/coccinelle.txt b/Documentation/coccinelle.txt
index 81a329fcd532..7f773d51fdd9 100644
--- a/Documentation/coccinelle.txt
+++ b/Documentation/coccinelle.txt
@@ -6,15 +6,17 @@ Copyright 2010 Gilles Muller <Gilles.Muller@lip6.fr>
6 Getting Coccinelle 6 Getting Coccinelle
7~~~~~~~~~~~~~~~~~~~~ 7~~~~~~~~~~~~~~~~~~~~
8 8
9The semantic patches included in the kernel use the 'virtual rule' 9The semantic patches included in the kernel use features and options
10feature which was introduced in Coccinelle version 0.1.11. 10which are provided by Coccinelle version 1.0.0-rc11 and above.
11Using earlier versions will fail as the option names used by
12the Coccinelle files and coccicheck have been updated.
11 13
12Coccinelle (>=0.2.0) is available through the package manager 14Coccinelle is available through the package manager
13of many distributions, e.g. : 15of many distributions, e.g. :
14 16
15 - Debian (>=squeeze) 17 - Debian
16 - Fedora (>=13) 18 - Fedora
17 - Ubuntu (>=10.04 Lucid Lynx) 19 - Ubuntu
18 - OpenSUSE 20 - OpenSUSE
19 - Arch Linux 21 - Arch Linux
20 - NetBSD 22 - NetBSD
@@ -36,11 +38,6 @@ as a regular user, and install it with
36 38
37 sudo make install 39 sudo make install
38 40
39The semantic patches in the kernel will work best with Coccinelle version
400.2.4 or later. Using earlier versions may incur some parse errors in the
41semantic patch code, but any results that are obtained should still be
42correct.
43
44 Using Coccinelle on the Linux kernel 41 Using Coccinelle on the Linux kernel
45~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 42~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
46 43
diff --git a/scripts/coccicheck b/scripts/coccicheck
index d3757adb1260..bbf901afb606 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -1,5 +1,10 @@
1#!/bin/bash 1#!/bin/bash
2 2
3#
4# This script requires at least spatch
5# version 1.0.0-rc11.
6#
7
3SPATCH="`which ${SPATCH:=spatch}`" 8SPATCH="`which ${SPATCH:=spatch}`"
4 9
5trap kill_running SIGTERM SIGINT 10trap kill_running SIGTERM SIGINT