diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index 8c4ed07dd8..4c8c08227b 100755 --- a/coccinelle/run-coccinelle.sh +++ b/coccinelle/run-coccinelle.sh @@ -1,12 +1,20 @@ #!/bin/bash -e files="$(git ls-files ':/*.[ch]')" +args= + +case "$1" in + -i) + args="$args --in-place" + shift + ;; +esac for SCRIPT in ${@-coccinelle/*.cocci} ; do echo "--x-- Processing $SCRIPT --x--" TMPFILE=`mktemp` - echo "+ spatch --sp-file $SCRIPT ..." - spatch --sp-file $SCRIPT $files 2>"$TMPFILE" || cat "$TMPFILE" + echo "+ spatch --sp-file $SCRIPT $args ..." + spatch --sp-file $SCRIPT $args $files 2>"$TMPFILE" || cat "$TMPFILE" rm "$TMPFILE" echo -e "--x-- Processed $SCRIPT --x--\n" done