aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/coccicheck4
-rw-r--r--scripts/coccinelle/null/badzero.cocci2
2 files changed, 3 insertions, 3 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 864b17e05e63..97f28f0f9498 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -168,8 +168,8 @@ OPTIONS="$OPTIONS $SPFLAGS"
168coccinelle () { 168coccinelle () {
169 COCCI="$1" 169 COCCI="$1"
170 170
171 OPT=`grep "Option" $COCCI | cut -d':' -f2` 171 OPT=`grep "Options:" $COCCI | cut -d':' -f2`
172 REQ=`grep "Requires" $COCCI | cut -d':' -f2 | sed "s| ||"` 172 REQ=`grep "Requires:" $COCCI | cut -d':' -f2 | sed "s| ||"`
173 REQ_NUM=$(echo $REQ | ${DIR}/scripts/ld-version.sh) 173 REQ_NUM=$(echo $REQ | ${DIR}/scripts/ld-version.sh)
174 if [ "$REQ_NUM" != "0" ] ; then 174 if [ "$REQ_NUM" != "0" ] ; then
175 if [ "$SPATCH_VERSION_NUM" -lt "$REQ_NUM" ] ; then 175 if [ "$SPATCH_VERSION_NUM" -lt "$REQ_NUM" ] ; then
diff --git a/scripts/coccinelle/null/badzero.cocci b/scripts/coccinelle/null/badzero.cocci
index 5551da2b4fe3..f597c8007b76 100644
--- a/scripts/coccinelle/null/badzero.cocci
+++ b/scripts/coccinelle/null/badzero.cocci
@@ -10,7 +10,7 @@
10// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. 10// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2.
11// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. 11// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2.
12// URL: http://coccinelle.lip6.fr/ 12// URL: http://coccinelle.lip6.fr/
13// Comments: Requires Coccinelle version 1.0.0-rc20 or later 13// Requires: 1.0.0
14// Options: 14// Options:
15 15
16virtual patch 16virtual patch