diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 4 | ||||
| -rw-r--r-- | scripts/coccinelle/null/badzero.cocci | 2 |
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" | |||
| 168 | coccinelle () { | 168 | coccinelle () { |
| 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 | ||
| 16 | virtual patch | 16 | virtual patch |
