summaryrefslogtreecommitdiffstats
path: root/scripts/coccicheck
diff options
context:
space:
mode:
authorNicolas Palix <nicolas.palix@imag.fr>2013-06-06 23:39:52 +0200
committerMichal Marek <mmarek@suse.cz>2013-06-14 15:26:47 +0200
commit1f0a6742dd900b866c046e29d287c28f0df9bd51 (patch)
tree6162c97ea43b256118ab5be004bb83571be2b8bd /scripts/coccicheck
parentf722406faae2d073cc1d01063d1123c35425939e (diff)
downloadlinux-1f0a6742dd900b866c046e29d287c28f0df9bd51.tar.gz
linux-1f0a6742dd900b866c046e29d287c28f0df9bd51.tar.bz2
linux-1f0a6742dd900b866c046e29d287c28f0df9bd51.zip
Coccinelle: Make 'report' the default mode
It appears that the 'report' mode is the one always provided by the semantic patches included in the kernel. It is thus more natural to select it by default. The 'chain' mode is however kept and the 'patch' mode is still the first tried in that case. Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/coccicheck')
-rwxr-xr-xscripts/coccicheck14
1 files changed, 11 insertions, 3 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 06fcb3333247..9d8780cdbcd4 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -44,11 +44,19 @@ fi
if [ "$MODE" = "" ] ; then
if [ "$ONLINE" = "0" ] ; then
- echo 'You have not explicitly specified the mode to use. Using default "chain" mode.'
- echo 'All available modes will be tried (in that order): patch, report, context, org'
+ echo 'You have not explicitly specified the mode to use. Using default "report" mode.'
+ echo 'Available modes are the following: patch, report, context, org'
echo 'You can specify the mode with "make coccicheck MODE=<mode>"'
+ echo 'Note however that some modes are not implemented by some semantic patches.'
+ fi
+ MODE="report"
+fi
+
+if [ "$MODE" = "chain" ] ; then
+ if [ "$ONLINE" = "0" ] ; then
+ echo 'You have selected the "chain" mode.'
+ echo 'All available modes will be tried (in that order): patch, report, context, org'
fi
- MODE="chain"
elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
FLAGS="$FLAGS -no_show_diff"
fi