diff options
Diffstat (limited to 'coccinelle')
-rwxr-xr-x | coccinelle/run-coccinelle.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index fe3aeb68ce..1373b53c5f 100755 --- 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` |