diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-04-20 15:21:06 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-06-04 11:48:52 +0200 |
| commit | 00bfe67f6b178056bffcfa9fbfb04ca3fa809989 (patch) | |
| tree | f4b12767c3d9aa00b3b314db6993453e537ef682 /coccinelle | |
| parent | 31d31f20218aabe63cd714da7f5f2fca94c98ef4 (diff) | |
| download | systemd-00bfe67f6b178056bffcfa9fbfb04ca3fa809989.tar.gz | |
coccinelle: add option to make changes in place
Diffstat (limited to 'coccinelle')
| -rwxr-xr-x | coccinelle/run-coccinelle.sh | 12 |
1 files changed, 10 insertions, 2 deletions
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 |