diff options
| author | Nicolas Palix <nicolas.palix@imag.fr> | 2013-07-03 16:41:01 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2013-07-03 22:58:20 +0200 |
| commit | ec97946ed038f4b3faa587bc76152b198805b0c4 (patch) | |
| tree | 048774b662e1b340d00decd7072e4f85efb1657c /scripts | |
| 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')
| -rwxr-xr-x | scripts/coccicheck | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index d3757adb126..bbf901afb60 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -1,5 +1,10 @@ #!/bin/bash +# +# This script requires at least spatch +# version 1.0.0-rc11. +# + SPATCH="`which ${SPATCH:=spatch}`" trap kill_running SIGTERM SIGINT |