summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorNicolas Palix <nicolas.palix@imag.fr>2013-07-03 16:41:01 +0200
committerMichal Marek <mmarek@suse.cz>2013-07-03 22:58:20 +0200
commitec97946ed038f4b3faa587bc76152b198805b0c4 (patch)
tree048774b662e1b340d00decd7072e4f85efb1657c /scripts
parent93f14468491747d6d3efd0b3a42785b1d51a127a (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-xscripts/coccicheck5
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