diff options
| author | Nicolas Palix <nicolas.palix@imag.fr> | 2013-06-06 23:39:52 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2013-06-14 15:26:47 +0200 |
| commit | 1f0a6742dd900b866c046e29d287c28f0df9bd51 (patch) | |
| tree | 6162c97ea43b256118ab5be004bb83571be2b8bd /scripts/coccicheck | |
| parent | f722406faae2d073cc1d01063d1123c35425939e (diff) | |
| download | linux-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-x | scripts/coccicheck | 14 |
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 |