coccinelle: slightly improve run-coccinelle.sh

Let's include the command line to use to get the requested output. This
makes it easy to copy/paste the command line out, and add "--in-place"
to actually apply the changes "run-coccinelle.sh" outputs.

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