diff options
| author | Nicolas Palix <nicolas.palix@imag.fr> | 2013-07-03 10:41:01 -0400 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2013-07-03 16:58:20 -0400 |
| commit | ec97946ed038f4b3faa587bc76152b198805b0c4 (patch) | |
| tree | 048774b662e1b340d00decd7072e4f85efb1657c /scripts/coccicheck | |
| parent | 93f14468491747d6d3efd0b3a42785b1d51a127a (diff) | |
Coccinelle: Update information about the minimal version required
The naming convention of options has changed one year ago.
The options have been recently updated in the cocci file
and in scripts/coccicheck. This patch also adds this information
in the documentation.
Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/coccicheck')
| -rwxr-xr-x | scripts/coccicheck | 5 |
1 files changed, 5 insertions, 0 deletions
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 | |||
| 3 | SPATCH="`which ${SPATCH:=spatch}`" | 8 | SPATCH="`which ${SPATCH:=spatch}`" |
| 4 | 9 | ||
| 5 | trap kill_running SIGTERM SIGINT | 10 | trap kill_running SIGTERM SIGINT |