diff options
| -rwxr-xr-x | coccinelle/run-coccinelle.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index e982e3b0fc..de23546f19 100755 --- 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 |