run-coccinelle.sh: use set -x for showing command line of "spatch"

Let's make sure run-coccinelle.sh generates similar output as
run-integration-tests.sh, hence use the same "set -x" logic.

diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index de23546..f463f5e 100755 (executable)
--- a/coccinelle/run-coccinelle.sh
+++ b/coccinelle/run-coccinelle.sh
@@ -1,10 +1,9 @@
 #!/bin/bash -e
 
 for SCRIPT in ${@-*.cocci} ; do
-        echo "--x-- Processing: spatch --sp-file $SCRIPT --dir $(pwd)/.. --x--"
+        echo "--x-- Processing $SCRIPT --x--"
         TMPFILE=`mktemp`
-        spatch --sp-file $SCRIPT --dir $(pwd)/.. 2> "$TMPFILE" || cat "$TMPFILE"
+        ( set -x ; spatch --sp-file $SCRIPT --dir $PWD/.. 2> "$TMPFILE" || cat "$TMPFILE" )
         rm "$TMPFILE"
-        echo "--x-- Processed: spatch --sp-file $SCRIPT --dir $(pwd)/.. --x--"
-        echo ""
+        echo -e "--x-- Processed $SCRIPT --x--\n"
 done