coccinelle: improve run-coccinelle.sh to take list of scripts to run

Let's tweak run-coccinelle.sh to optionally take a list of scripts to
run. If not specified, run all scripts, as before.

diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index fe3aeb68ce9bff3293f32908c72c03d3542206b2..1373b53c5f4a3d00c3ddd216380b97690898917c 100755 (executable)
--- a/coccinelle/run-coccinelle.sh
+++ b/coccinelle/run-coccinelle.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -e
 
-for SCRIPT in *.cocci ; do
+for SCRIPT in ${@-*.cocci} ; do
         [ "$SCRIPT" = "empty-if.cocci" ] && continue
         echo "--x-- Processing $SCRIPT --x--"
         TMPFILE=`mktemp`