diff options
Diffstat (limited to 'scripts')
| -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 | |||
| 44 | 44 | ||
| 45 | if [ "$MODE" = "" ] ; then | 45 | if [ "$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" | ||
| 53 | fi | ||
| 54 | |||
| 55 | if [ "$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" | ||
| 52 | elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then | 60 | elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then |
| 53 | FLAGS="$FLAGS -no_show_diff" | 61 | FLAGS="$FLAGS -no_show_diff" |
| 54 | fi | 62 | fi |
