summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/coccicheck14
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 081ba5bff79c..f9293ab04a8b 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -5,6 +5,7 @@
5# version 1.0.0-rc11. 5# version 1.0.0-rc11.
6# 6#
7 7
8DIR="$(dirname $(readlink -f $0))/.."
8SPATCH="`which ${SPATCH:=spatch}`" 9SPATCH="`which ${SPATCH:=spatch}`"
9 10
10if [ ! -x "$SPATCH" ]; then 11if [ ! -x "$SPATCH" ]; then
@@ -12,6 +13,9 @@ if [ ! -x "$SPATCH" ]; then
12 exit 1 13 exit 1
13fi 14fi
14 15
16SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')
17SPATCH_VERSION_NUM=$(echo $SPATCH_VERSION | ${DIR}/scripts/ld-version.sh)
18
15USE_JOBS="no" 19USE_JOBS="no"
16$SPATCH --help | grep "\-\-jobs" > /dev/null && USE_JOBS="yes" 20$SPATCH --help | grep "\-\-jobs" > /dev/null && USE_JOBS="yes"
17 21
@@ -171,6 +175,16 @@ coccinelle () {
171 COCCI="$1" 175 COCCI="$1"
172 176
173 OPT=`grep "Option" $COCCI | cut -d':' -f2` 177 OPT=`grep "Option" $COCCI | cut -d':' -f2`
178 REQ=`grep "Requires" $COCCI | cut -d':' -f2 | sed "s| ||"`
179 REQ_NUM=$(echo $REQ | ${DIR}/scripts/ld-version.sh)
180 if [ "$REQ_NUM" != "0" ] ; then
181 if [ "$SPATCH_VERSION_NUM" -lt "$REQ_NUM" ] ; then
182 echo "Skipping coccinele SmPL patch: $COCCI"
183 echo "You have coccinelle: $SPATCH_VERSION"
184 echo "This SmPL patch requires: $REQ"
185 return
186 fi
187 fi
174 188
175# The option '--parse-cocci' can be used to syntactically check the SmPL files. 189# The option '--parse-cocci' can be used to syntactically check the SmPL files.
176# 190#