History

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.

Nicolas Palix committed 16 years ago

Commit 03ee0c41 parent 2c1160c1 file · +6 −4Browse files

Unified · Split

scripts/coccicheck+6−4
@@ -31,6 +31,8 @@ if [ "$MODE" = "" ] ; then · 30 unmodified lines
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 fi32 fi
33 MODE="chain"33 MODE="chain"
34elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
35 FLAGS="$FLAGS -no_show_diff"
34fi36fi
35 37
36if [ "$ONLINE" = "0" ] ; then38if [ "$ONLINE" = "0" ] ; then
@@ -75,10 +77,10 @@ coccinelle () { · 38 unmodified lines
75 fi77 fi
76 78
77 if [ "$MODE" = "chain" ] ; then79 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 183 $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1
82 else84 else
83 $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 185 $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1
84 fi86 fi