aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/coccicheck
diff options
context:
space:
mode:
authorNicolas Palix <nicolas.palix@imag.fr>2013-06-06 17:39:52 -0400
committerMichal Marek <mmarek@suse.cz>2013-06-14 09:26:47 -0400
commit1f0a6742dd900b866c046e29d287c28f0df9bd51 (patch)
tree6162c97ea43b256118ab5be004bb83571be2b8bd /scripts/coccicheck
parentf722406faae2d073cc1d01063d1123c35425939e (diff)
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
44 44
45if [ "$MODE" = "" ] ; then 45if [ "$MODE" = "" ] ; then
46 if [ "$ONLINE" = "0" ] ; then 46 if [ "$ONLINE" = "0" ] ; then
47 echo 'You have not explicitly specified the mode to use. Using default "chain" mode.' 47 echo 'You have not explicitly specified the mode to use. Using default "report" mode.'
48 echo 'All available modes will be tried (in that order): patch, report, context, org' 48 echo 'Available modes are the following: patch, report, context, org'
49 echo 'You can specify the mode with "make coccicheck MODE=<mode>"' 49 echo 'You can specify the mode with "make coccicheck MODE=<mode>"'
50 echo 'Note however that some modes are not implemented by some semantic patches.'
51 fi
52 MODE="report"
53fi
54
55if [ "$MODE" = "chain" ] ; then
56 if [ "$ONLINE" = "0" ] ; then
57 echo 'You have selected the "chain" mode.'
58 echo 'All available modes will be tried (in that order): patch, report, context, org'
50 fi 59 fi
51 MODE="chain"
52elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then 60elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
53 FLAGS="$FLAGS -no_show_diff" 61 FLAGS="$FLAGS -no_show_diff"
54fi 62fi