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>
This commit is contained in:
Nicolas Palix
2013-07-03 16:41:01 +02:00
committed by Michal Marek
parent 93f1446849
commit ec97946ed0
2 changed files with 13 additions and 11 deletions

View File

@@ -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