diff options
author | Nicolas Palix <npalix.work@gmail.com> | 2010-10-08 15:27:41 -0400 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2010-10-13 08:26:06 -0400 |
commit | 03ee0c42a77fbf60bfa6b0eacaff30ae4e19fce8 (patch) | |
tree | cf1b1ec23f63a2e77379c854203ea76afc57cb91 /scripts | |
parent | 2c1160c87465ee2d61eee14596e5376d2ff74f31 (diff) |
Coccinelle: Use the -no_show_diff option for org and report mode
This allows to write the semantic patches with code sharing
for the matching parts.
Signed-off-by: Nicolas Palix <npalix.work@gmail.com>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/coccicheck | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index c7beb63de2e8..7529af15672d 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
@@ -31,6 +31,8 @@ if [ "$MODE" = "" ] ; then | |||
31 | echo 'You can specify the mode with "make coccicheck MODE=<mode>"' | 31 | echo 'You can specify the mode with "make coccicheck MODE=<mode>"' |
32 | fi | 32 | fi |
33 | MODE="chain" | 33 | MODE="chain" |
34 | elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then | ||
35 | FLAGS="$FLAGS -no_show_diff" | ||
34 | fi | 36 | fi |
35 | 37 | ||
36 | if [ "$ONLINE" = "0" ] ; then | 38 | if [ "$ONLINE" = "0" ] ; then |
@@ -75,10 +77,10 @@ coccinelle () { | |||
75 | fi | 77 | fi |
76 | 78 | ||
77 | if [ "$MODE" = "chain" ] ; then | 79 | if [ "$MODE" = "chain" ] ; then |
78 | $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | 80 | $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ |
79 | $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | 81 | $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \ |
80 | $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | 82 | $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ |
81 | $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | 83 | $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1 |
82 | else | 84 | else |
83 | $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | 85 | $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 |
84 | fi | 86 | fi |