diff options
author | Bernd Schubert <bernd.schubert@itwm.fraunhofer.de> | 2013-01-29 11:03:42 -0500 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2013-02-22 08:25:44 -0500 |
commit | 5303265a48eb276b8cdee84f8e91e7f971224c5e (patch) | |
tree | 7074d53c56e7828a391625b453b5675acdff54d6 /scripts/coccicheck | |
parent | 26e56720916a2a84704d46268375f204f58bebc8 (diff) |
coccicheck: Allow to show the executed command line
On my system one of the tests failed with
"Fatal error: exception Failure("No OCaml compiler found! Install either ocamlopt or ocamlopt.opt")".
Investigating such issues is easier if the executed command line is
being shown.
Signed-off-by: Bernd Schubert <bernd.schubert@itwm.fraunhofer.de>
CC: Julia Lawall <Julia.Lawall@lip6.fr>
Acked-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 | 28 |
1 files changed, 21 insertions, 7 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index f8f15a269e1a..85d31899ad98 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
@@ -55,6 +55,14 @@ if [ "$ONLINE" = "0" ] ; then | |||
55 | echo '' | 55 | echo '' |
56 | fi | 56 | fi |
57 | 57 | ||
58 | run_cmd() { | ||
59 | if [ $VERBOSE -ne 0 ] ; then | ||
60 | echo "Running: $@" | ||
61 | fi | ||
62 | eval $@ | ||
63 | } | ||
64 | |||
65 | |||
58 | coccinelle () { | 66 | coccinelle () { |
59 | COCCI="$1" | 67 | COCCI="$1" |
60 | 68 | ||
@@ -100,15 +108,21 @@ coccinelle () { | |||
100 | fi | 108 | fi |
101 | 109 | ||
102 | if [ "$MODE" = "chain" ] ; then | 110 | if [ "$MODE" = "chain" ] ; then |
103 | $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | 111 | run_cmd $SPATCH -D patch \ |
104 | $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \ | 112 | $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ |
105 | $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | 113 | run_cmd $SPATCH -D report \ |
106 | $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1 | 114 | $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \ |
115 | run_cmd $SPATCH -D context \ | ||
116 | $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | ||
117 | run_cmd $SPATCH -D org \ | ||
118 | $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1 | ||
107 | elif [ "$MODE" = "rep+ctxt" ] ; then | 119 | elif [ "$MODE" = "rep+ctxt" ] ; then |
108 | $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff && \ | 120 | run_cmd $SPATCH -D report \ |
109 | $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | 121 | $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff && \ |
122 | run_cmd $SPATCH -D context \ | ||
123 | $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | ||
110 | else | 124 | else |
111 | $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | 125 | run_cmd $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 |
112 | fi | 126 | fi |
113 | 127 | ||
114 | } | 128 | } |